src/java.desktop/unix/classes/sun/awt/X11/XMenuBarPeer.java

@@ -499,10 +499,11 @@
 
     /*
      * This function is called from XWindow
      * @see XWindow.handleF10onEDT()
      */
+    @SuppressWarnings("deprecation")
     void handleF10KeyPress(KeyEvent event) {
         int keyState = event.getModifiers();
         if (((keyState & InputEvent.ALT_MASK) != 0) ||
             ((keyState & InputEvent.SHIFT_MASK) != 0) ||
             ((keyState & InputEvent.CTRL_MASK) != 0)) {