--- old/src/java.desktop/share/classes/javax/sound/midi/Receiver.java	2016-08-12 17:03:11.000000000 +0300
+++ new/src/java.desktop/share/classes/javax/sound/midi/Receiver.java	2016-08-12 17:03:10.000000000 +0300
@@ -66,5 +66,6 @@
      *
      * @see javax.sound.midi.MidiSystem#getReceiver
      */
+    @Override
     void close();
 }