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

*** 1,7 ****
  /*
!  * Copyright (c) 1997, 2014, 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
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
--- 1,7 ----
  /*
!  * 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
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
*** 59,80 ****
       * @param item a menu item
       * @param e a mouse event
       * @param path an array of {@code MenuElement}
       * @param manager an instance of {@code MenuSelectionManager}
       */
!     public void processMouseEvent(JMenuItem item,MouseEvent e,MenuElement path[],MenuSelectionManager manager) {
          Point p = e.getPoint();
          if(p.x >= 0 && p.x < item.getWidth() &&
             p.y >= 0 && p.y < item.getHeight()) {
              if(e.getID() == MouseEvent.MOUSE_RELEASED) {
                  manager.clearSelectedPath();
                  item.doClick(0);
                  item.setArmed(false);
              } else
                  manager.setSelectedPath(path);
          } else if(item.getModel().isArmed()) {
!             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);
          }
--- 59,80 ----
       * @param item a menu item
       * @param e a mouse event
       * @param path an array of {@code MenuElement}
       * @param manager an instance of {@code MenuSelectionManager}
       */
!     public void processMouseEvent(JMenuItem item,MouseEvent e,MenuElement[] path,MenuSelectionManager manager) {
          Point p = e.getPoint();
          if(p.x >= 0 && p.x < item.getWidth() &&
             p.y >= 0 && p.y < item.getHeight()) {
              if(e.getID() == MouseEvent.MOUSE_RELEASED) {
                  manager.clearSelectedPath();
                  item.doClick(0);
                  item.setArmed(false);
              } else
                  manager.setSelectedPath(path);
          } else if(item.getModel().isArmed()) {
!             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);
          }