--- 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;