--- old/src/java.desktop/share/classes/javax/swing/JPopupMenu.java 2018-10-01 10:00:40.442026000 +0700
+++ new/src/java.desktop/share/classes/javax/swing/JPopupMenu.java 2018-10-01 10:00:40.042026000 +0700
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 1997, 2018, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
@@ -774,7 +774,7 @@
// This is a popup menu with MenuElement children,
// set selection path before popping up!
if (isPopupMenu()) {
- MenuElement me[] = new MenuElement[1];
+ MenuElement[] me = new MenuElement[1];
me[0] = this;
MenuSelectionManager.defaultManager().setSelectedPath(me);
}
@@ -1371,7 +1371,7 @@
* MenuElement
interface, but it not implemented.
* @see MenuElement#processMouseEvent(MouseEvent, MenuElement[], MenuSelectionManager)
*/
- public void processMouseEvent(MouseEvent event,MenuElement path[],MenuSelectionManager manager) {}
+ public void processMouseEvent(MouseEvent event,MenuElement[] path,MenuSelectionManager manager) {}
/**
* Processes a key event forwarded from the
@@ -1386,7 +1386,7 @@
* @param manager the MenuSelectionManager
*/
@SuppressWarnings("deprecation")
- public void processKeyEvent(KeyEvent e, MenuElement path[],
+ public void processKeyEvent(KeyEvent e, MenuElement[] path,
MenuSelectionManager manager) {
MenuKeyEvent mke = new MenuKeyEvent(e.getComponent(), e.getID(),
e.getWhen(), e.getModifiers(),
@@ -1504,7 +1504,7 @@
*/
@BeanProperty(bound = false)
public MenuElement[] getSubElements() {
- MenuElement result[];
+ MenuElement[] result;
Vector tmp = new Vector();
int c = getComponentCount();
int i;