76                 createAndShowGUI();

    76                 createAndShowGUI();

    77             }

    77             }

    78         });

    78         });

    79 

    79 

    80         Robot robot = new Robot();

    80         Robot robot = new Robot();

    81         robot.waitForIdle();

    82         robot.waitForIdle();

    82         Util.hitMnemonics(robot, KeyEvent.VK_F);

    83         Util.hitMnemonics(robot, KeyEvent.VK_F);

    83         robot.waitForIdle();

    84         robot.waitForIdle();

    85 

    86 

    86         if (!bMenuSelected) {

    87         if (!bMenuSelected) {

    87             throw new RuntimeException("shortcuts on menus do not work");

    88             throw new RuntimeException("shortcuts on menus do not work");

    88         }

    89         }

    89     }

    90     }