X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=c61c70e30be633b42f8d72731bf34d7f87b2cbcd;hb=81566f0db459762fb716dcd54e1c04086f7ed72b;hp=c4dcc6c68309f5c91011afd0259ac2a29b678ea6;hpb=2107a91322a1988a8a6b724c74f9d244795341e3;p=jalview.git

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index c4dcc6c..c61c70e 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -450,7 +450,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(