From f475745b12d612f93d73eb7d4e1dab1a30d03c86 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Mon, 27 May 2019 16:26:45 +0100 Subject: [PATCH] JAL-3141 Added HashMap types for Java 1.8 compatibility --- src/jalview/gui/Preferences.java | 2 +- src/jalview/io/BackupFilesPresetEntry.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 customUrlFilter = new RowFilter<>() + final RowFilter customUrlFilter = new RowFilter() { @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 backupfilesPresetEntriesValues = new HashMap<>() + public static final Map backupfilesPresetEntriesValues = new HashMap() { /** * -- 1.7.10.2