private final static String DEFAULT_PDB_FILE_PARSER = StructureImportSettings.StructureParser.JMOL_PARSER
.toString();
+ private static String HMMER_PATH;
+
/*
* a date formatter using a fixed (rather than the user's) locale;
* this ensures that date properties can be written and re-read successfully
@Override
public synchronized Enumeration<Object> keys()
{
- return Collections.enumeration(new TreeSet<Object>(super.keySet()));
+ return Collections.enumeration(new TreeSet<>(super.keySet()));
}
};