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

*** 64,70 ****
--- 64,71 ----
       * closed, too. For a detailed description of open/close behaviour see the
       * class description of {@link MidiDevice MidiDevice}.
       *
       * @see javax.sound.midi.MidiSystem#getReceiver
       */
+     @Override
      void close();
  }