code: private String removePrefix(String key) {
  
          if (key.startsWith(PREFIX_TYPE)) {
              return key.substring(PREFIX_TYPE.length());
          }
          return key;
      }
docs: Removes a prefix from the given key.<p>
  
  @param key the key
  
  @return the key with the prefix removed