if (enable) {
JMenu betaMenu = new JMenu(getVersion() + "-beta");
menu.add(betaMenu);
// workaround jre 1.3 bug...reference http://developer.java.sun.com/developer/bugParade/bugs/4280243.html
betaMenu.enableInputMethods(false);
// add a "submit bug report" menu option
JMenuItem menuItem = new JMenuItem("Submit bug report");
betaMenu.add(menuItem);
menuItem.addActionListener(new ActionListener() {