JAL-3141 Object array cast missing
authorBen Soares <bsoares@dundee.ac.uk>
Mon, 27 May 2019 15:18:09 +0000 (16:18 +0100)
committerBen Soares <bsoares@dundee.ac.uk>
Mon, 27 May 2019 15:18:09 +0000 (16:18 +0100)
src/jalview/jbgui/GPreferences.java

index f8fbe06..60bf1b7 100755 (executable)
@@ -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,