src/java.desktop/share/classes/javax/swing/plaf/basic/BasicMenuItemUI.java

@@ -866,12 +866,12 @@
      *
      * @return a menu element path
      */
     public MenuElement[] getPath() {
         MenuSelectionManager m = MenuSelectionManager.defaultManager();
-        MenuElement oldPath[] = m.getSelectedPath();
-        MenuElement newPath[];
+        MenuElement[] oldPath = m.getSelectedPath();
+        MenuElement[] newPath;
         int i = oldPath.length;
         if (i == 0)
             return new MenuElement[0];
         Component parent = menuItem.getParent();
         if (oldPath[i-1].getComponent() == parent) {

@@ -903,11 +903,11 @@
             */
         }
         return newPath;
     }
 
-    void printMenuElementArray(MenuElement path[], boolean dumpStack) {
+    void printMenuElementArray(MenuElement[] path, boolean dumpStack) {
         System.out.println("Path is(");
         int i, j;
         for(i=0,j=path.length; i<j ;i++){
             for (int k=0; k<=i; k++)
                 System.out.print("  ");

@@ -1087,13 +1087,13 @@
             if ((modifiers & (InputEvent.BUTTON1_MASK |
                               InputEvent.BUTTON2_MASK | InputEvent.BUTTON3_MASK)) !=0 ) {
                 MenuSelectionManager.defaultManager().processMouseEvent(e);
             } else {
 
-                MenuElement path[] = manager.getSelectedPath();
+                MenuElement[] path = manager.getSelectedPath();
                 if (path.length > 1 && path[path.length-1] == menuItem) {
-                    MenuElement newPath[] = new MenuElement[path.length-1];
+                    MenuElement[] newPath = new MenuElement[path.length-1];
                     int i,c;
                     for(i=0,c=path.length-1;i<c;i++)
                         newPath[i] = path[i];
                     manager.setSelectedPath(newPath);
                 }

@@ -1109,25 +1109,25 @@
         //
         // MenuDragListener
         //
         public void menuDragMouseEntered(MenuDragMouseEvent e) {
             MenuSelectionManager manager = e.getMenuSelectionManager();
-            MenuElement path[] = e.getPath();
+            MenuElement[] path = e.getPath();
             manager.setSelectedPath(path);
         }
         public void menuDragMouseDragged(MenuDragMouseEvent e) {
             MenuSelectionManager manager = e.getMenuSelectionManager();
-            MenuElement path[] = e.getPath();
+            MenuElement[] path = e.getPath();
             manager.setSelectedPath(path);
         }
         public void menuDragMouseExited(MenuDragMouseEvent e) {}
         public void menuDragMouseReleased(MenuDragMouseEvent e) {
             if (!menuItem.isEnabled()) {
                 return;
             }
             MenuSelectionManager manager = e.getMenuSelectionManager();
-            MenuElement path[] = e.getPath();
+            MenuElement[] path = e.getPath();
             Point p = e.getPoint();
             if (p.x >= 0 && p.x < menuItem.getWidth() &&
                     p.y >= 0 && p.y < menuItem.getHeight()) {
                 doClick(manager);
             } else {