docs: public static ContentFileTypeMap ensureContentTypeManager() {
  		FileTypeMap defaultMap = FileTypeMap.getDefaultFileTypeMap();
  		if (!(defaultMap instanceof ContentFileTypeMap)) {
  			defaultMap = new ContentFileTypeMap(defaultMap);
  			FileTypeMap.setDefaultFileTypeMap(defaultMap);
  		}
  		return (ContentFileTypeMap) defaultMap;
  	}