--- old/src/java.desktop/share/classes/com/sun/media/sound/JARSoundbankReader.java 2016-08-12 17:01:47.000000000 +0300 +++ new/src/java.desktop/share/classes/com/sun/media/sound/JARSoundbankReader.java 2016-08-12 17:01:47.000000000 +0300 @@ -69,11 +69,12 @@ return ok; } + @Override public Soundbank getSoundbank(URL url) throws InvalidMidiDataException, IOException { if (!isZIP(url)) return null; - ArrayList soundbanks = new ArrayList(); + ArrayList soundbanks = new ArrayList<>(); URLClassLoader ucl = URLClassLoader.newInstance(new URL[]{url}); InputStream stream = ucl.getResourceAsStream( "META-INF/services/javax.sound.midi.Soundbank"); @@ -114,12 +115,14 @@ return sbk; } + @Override public Soundbank getSoundbank(InputStream stream) throws InvalidMidiDataException, IOException { Objects.requireNonNull(stream); return null; } + @Override public Soundbank getSoundbank(File file) throws InvalidMidiDataException, IOException { return getSoundbank(file.toURI().toURL());