src/java.desktop/share/classes/javax/sound/midi/MidiSystem.java

*** 851,861 ****
              int[] types = writer.getMidiFileTypes();
              for (int j = 0; j < types.length; j++ ) {
                  allTypes.add(types[j]);
              }
          }
!         int resultTypes[] = new int[allTypes.size()];
          int index = 0;
          Iterator<Integer> iterator = allTypes.iterator();
          while (iterator.hasNext()) {
              Integer integer = iterator.next();
              resultTypes[index++] = integer.intValue();
--- 851,861 ----
              int[] types = writer.getMidiFileTypes();
              for (int j = 0; j < types.length; j++ ) {
                  allTypes.add(types[j]);
              }
          }
!         int[] resultTypes = new int[allTypes.size()];
          int index = 0;
          Iterator<Integer> iterator = allTypes.iterator();
          while (iterator.hasNext()) {
              Integer integer = iterator.next();
              resultTypes[index++] = integer.intValue();
*** 906,916 ****
              int[] types = writer.getMidiFileTypes(sequence);
              for (int j = 0; j < types.length; j++ ) {
                  allTypes.add(types[j]);
              }
          }
!         int resultTypes[] = new int[allTypes.size()];
          int index = 0;
          Iterator<Integer> iterator = allTypes.iterator();
          while (iterator.hasNext()) {
              Integer integer = iterator.next();
              resultTypes[index++] = integer.intValue();
--- 906,916 ----
              int[] types = writer.getMidiFileTypes(sequence);
              for (int j = 0; j < types.length; j++ ) {
                  allTypes.add(types[j]);
              }
          }
!         int[] resultTypes = new int[allTypes.size()];
          int index = 0;
          Iterator<Integer> iterator = allTypes.iterator();
          while (iterator.hasNext()) {
              Integer integer = iterator.next();
              resultTypes[index++] = integer.intValue();