Merge branch 'develop' into features/hmmer
[jalview.git] / src / jalview / bin / Cache.java
index dc50843..62eb7de 100755 (executable)
@@ -260,6 +260,8 @@ public class Cache
   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
@@ -281,7 +283,7 @@ public class Cache
     @Override
     public synchronized Enumeration<Object> keys()
     {
-      return Collections.enumeration(new TreeSet<Object>(super.keySet()));
+      return Collections.enumeration(new TreeSet<>(super.keySet()));
     }
   };