JAL-3141 Added HashMap types for Java 1.8 compatibility

[jalview.git] / src / jalview / gui / Preferences.java

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 25e22b5..9754e0d 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -401,7 +401,7 @@ public class Preferences extends GPreferences
     doReset.addActionListener(onReset);
 
     // filter to display only custom urls
-    final RowFilter<TableModel, Object> customUrlFilter = new RowFilter<>()
+    final RowFilter<TableModel, Object> customUrlFilter = new RowFilter<TableModel, Object>()
     {
       @Override
       public boolean include(