src/java.desktop/share/classes/javax/swing/JPopupMenu.java

@@ -1383,10 +1383,11 @@
      *
      * @param e  a <code>KeyEvent</code>
      * @param path the <code>MenuElement</code> path array
      * @param manager   the <code>MenuSelectionManager</code>
      */
+    @SuppressWarnings("deprecation")
     public void processKeyEvent(KeyEvent e, MenuElement path[],
                                 MenuSelectionManager manager) {
         MenuKeyEvent mke = new MenuKeyEvent(e.getComponent(), e.getID(),
                                              e.getWhen(), e.getModifiers(),
                                              e.getKeyCode(), e.getKeyChar(),