docs: public void addProfile(KeyDecodingProfile profile) {
          for (CharacterPattern pattern : profile.getPatterns()) {
              synchronized(bytePatterns) {
                  //If an equivalent pattern already exists, remove it first
                  bytePatterns.remove(pattern);
                  bytePatterns.add(pattern);
              }
          }
      }