--- old/src/java.desktop/share/classes/javax/sound/midi/MidiSystem.java 2018-10-01 10:00:14.118026000 +0700 +++ new/src/java.desktop/share/classes/javax/sound/midi/MidiSystem.java 2018-10-01 10:00:13.526026000 +0700 @@ -853,7 +853,7 @@ allTypes.add(types[j]); } } - int resultTypes[] = new int[allTypes.size()]; + int[] resultTypes = new int[allTypes.size()]; int index = 0; Iterator iterator = allTypes.iterator(); while (iterator.hasNext()) { @@ -908,7 +908,7 @@ allTypes.add(types[j]); } } - int resultTypes[] = new int[allTypes.size()]; + int[] resultTypes = new int[allTypes.size()]; int index = 0; Iterator iterator = allTypes.iterator(); while (iterator.hasNext()) {