--- old/src/java.desktop/share/classes/javax/swing/JMenuItem.java 2016-12-19 22:11:19.000000000 +0300
+++ new/src/java.desktop/share/classes/javax/swing/JMenuItem.java 2016-12-19 22:11:18.000000000 +0300
@@ -412,6 +412,7 @@
* @param path the MenuElement
path array
* @param manager the MenuSelectionManager
*/
+ @SuppressWarnings("deprecation")
public void processMouseEvent(MouseEvent e,MenuElement path[],MenuSelectionManager manager) {
processMenuDragMouseEvent(
new MenuDragMouseEvent(e.getComponent(), e.getID(),
@@ -435,6 +436,7 @@
* @param path the MenuElement
path array
* @param manager the MenuSelectionManager
*/
+ @SuppressWarnings("deprecation")
public void processKeyEvent(KeyEvent e,MenuElement path[],MenuSelectionManager manager) {
if (DEBUG) {
System.out.println("in JMenuItem.processKeyEvent/3 for " + getText() +