From 97a6f94196828b1bf4e2804e9a92d819e06c078d Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Mon, 27 May 2019 16:18:09 +0100
Subject: [PATCH] JAL-3141 Object array cast missing

---
 src/jalview/jbgui/GPreferences.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index f8fbe06..60bf1b7 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -1856,7 +1856,7 @@ public class GPreferences extends JPanel
     presetsPanel.add(presetsComboLabel, gbc);
 
     List<Object> entries = Arrays
-            .asList(BackupFilesPresetEntry.backupfilesPresetEntries);
+            .asList((Object[]) BackupFilesPresetEntry.backupfilesPresetEntries);
     List<String> tooltips = Arrays.asList(
             BackupFilesPresetEntry.backupfilesPresetEntryDescriptions);
     backupfilesPresetsCombo = JvSwingUtils.buildComboWithTooltips(entries,
-- 
1.7.10.2