case HELP_ABOUT: AboutDialog aboutDlg = new AboutDialog(guiMain,"About",true); aboutDlg.run(); break;
    public void actionPerformed(ActionEvent event) {        JMenuItem eventSource = (JMenuItem)event.getSource();        MainMenu.MenuID val = entries.get(eventSource);                FSA currAut;                switch (val) {            case FILE_NEW:                /* Datei -> Neu, prfen ob die aktuelle Datei gespeichert werden soll */                if (guiMain.options.getAskSave()) {                    if (guiMain.checkSave(false, true))                        guiMain.newFile();                    }                else {                    guiMain.newFile();                }                                break;            case FILE_OPEN:                /* Datei -> ffnen, prfen ob aktuelle Datei gespeichert werden soll */                if (guiMain.options.getAskSave()) {                    if (guiMain.checkSave(false, true))                        guiMain.openFile();                }                else {                    guiMain.openFile();                }                break;            case FILE_SAVE:                guiMain.checkSave(true,false);                break;            case FILE_SAVEAS:                guiMain.checkSave(true,true);                break;            case FILE_OPTIONS:                guiMain.showOptions();                break;            case FILE_QUIT:                if (guiMain.options.getAskSave()) {                    if (guiMain.checkSave(false, true))                      guiMain.dispose();                }                break;            case ALGO_LANG:                guiMain.guessLang();                break;            case ALGO_DETERM:                guiMain.determ();                break;            case ALGO_RUNVIS:                guiMain.runvis();                break;            case VIEW_FITWINDOW:                guiMain.fitWindow();                break;            default:                System.err.println("menu event not handled");        }    }