--- old/src/com/sun/javatest/exec/JavaTestMenuManager.java	2018-06-19 01:09:59.000000000 +0100
+++ new/src/com/sun/javatest/exec/JavaTestMenuManager.java	2018-06-19 01:09:59.000000000 +0100
@@ -99,7 +99,7 @@
         if (bank == null) {
             bank = new ArrayList[NUM_POSITIONS];
             for (int i = 0; i < NUM_POSITIONS; i++)
-                bank[i] = new ArrayList();
+                bank[i] = new ArrayList<>();
         }
 
         bank[position].add(item);
@@ -129,5 +129,5 @@
     public static final int TOOLS_OTHER = 17;
 
     private static final int NUM_POSITIONS = 18;
-    private ArrayList[] bank;
+    private ArrayList<JMenuItem>[] bank;
 }