From: Ben Soares <bsoares@dundee.ac.uk>
Date: Mon, 27 May 2019 15:26:45 +0000 (+0100)
Subject: JAL-3141 Added HashMap types for Java 1.8 compatibility
X-Git-Tag: Release_2_11_1_0~53^2~9
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f475745b12d612f93d73eb7d4e1dab1a30d03c86;p=jalview.git

JAL-3141 Added HashMap types for Java 1.8 compatibility
---

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 25e22b5..9754e0d 100755
--- 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(
diff --git a/src/jalview/io/BackupFilesPresetEntry.java b/src/jalview/io/BackupFilesPresetEntry.java
index 46fc5eb..4face29 100644
--- a/src/jalview/io/BackupFilesPresetEntry.java
+++ b/src/jalview/io/BackupFilesPresetEntry.java
@@ -146,7 +146,7 @@ public class BackupFilesPresetEntry
       MessageManager.getString("label.rolled_backups_description"),
       MessageManager.getString("label.custom_description") };
 
-  public static final Map<Integer, BackupFilesPresetEntry> backupfilesPresetEntriesValues = new HashMap<>()
+  public static final Map<Integer, BackupFilesPresetEntry> backupfilesPresetEntriesValues = new HashMap<Integer, BackupFilesPresetEntry>()
   {
     /**
      *