MainWindowForm.java

package de.unisiegen.gtitool.ui.netbeans;



import javax.swing.JCheckBoxMenuItem;
import javax.swing.JFrame;
import javax.swing.JMenu;
import javax.swing.JMenuBar;
import javax.swing.JMenuItem;
import javax.swing.JSeparator;
import javax.swing.JToolBar;

import de.unisiegen.gtitool.core.grammars.Grammar.GrammarType;
import de.unisiegen.gtitool.core.machines.Machine.MachineType;
import de.unisiegen.gtitool.core.regex.DefaultRegex.RegexType;
import de.unisiegen.gtitool.ui.logic.MainWindow;
import de.unisiegen.gtitool.ui.netbeans.interfaces.GUIClass;
import de.unisiegen.gtitool.ui.swing.JGTIPanel;
import de.unisiegen.gtitool.ui.swing.specialized.JGTIEditorPanelTabbedPane;
import de.unisiegen.gtitool.ui.swing.specialized.JGTIMainSplitPane;
import de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton;
import de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton;

/**
 * The {@link MainWindowForm}.
 *
 * @author Benjamin Mies
 * @author Christian Fehler
 * @version $Id$
 */
@SuppressWarnings({ "all" })
public class MainWindowForm extends JFrame implements GUIClass <MainWindow>
{
 
    /**
     * The serial version uid.
     */
    private static final long serialVersionUID = -5068944082893352104L;


    /**
     * The {@link MainWindow}.
     */
    private MainWindow logic;
    

    /**
     * Creates new form MainWindow
     * 
     * @param logic The {@link MainWindow}.
     */
    public MainWindowForm(MainWindow logic) {
        this.logic = logic;
        initComponents();
    }
    
    /**
     * {@inheritDoc}
     * 
     * @see GUIClass#getLogic()
     */
    public final MainWindow getLogic ()
    {
      return this.logic;
    }
    
    /**
     * Returns the jMenuItemNew.
     *
     * @return The jMenuItemNew.
     * @see #jMenuItemNew
     */
    public final JMenuItem getJMenuItemNew ()
    {
      return this.jMenuItemNew;
    }
    
    /**
     * Returns the jMenuItemOpen.
     *
     * @return The jMenuItemOpen.
     * @see #jMenuItemOpen
     */
    public final JMenuItem getJMenuItemOpen ()
    {
      return this.jMenuItemOpen;
    }
    
    /**
     * Returns the jMenuItemClose.
     *
     * @return The jMenuItemClose.
     * @see #jMenuItemClose
     */
    public final JMenuItem getJMenuItemClose ()
    {
      return this.jMenuItemClose;
    }

    
    
    /**
     * Returns the jMenuItemExportLatex.
     *
     * @return The jMenuItemExportLatex.
     * @see #jMenuItemExportLatex
     */
    public JMenuItem getJMenuItemExportLatex() {
        return this.jMenuItemExportLatex;
    }
    
    /**
     * Returns the jMenuItemCloseAll.
     *
     * @return The jMenuItemCloseAll.
     * @see #jMenuItemCloseAll
     */
    public final JMenuItem getJMenuItemCloseAll ()
    {
      return this.jMenuItemCloseAll;
    }

    /**
     * Returns the jMenuItemPrint.
     *
     * @return The jMenuItemCloseAll.
     * @see #jMenuItemPrint
     */
    public final JMenuItem getJMenuItemPrint ()
    {
      return this.jMenuItemPrint;
    }

    /**
     * Returns the jMenuItemConvertToDFA.
     *
     * @return The jMenuItemConvertToDFA.
     * @see #jMenuItemConvertToDFA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToDFA ()
    {
      return this.jMenuItemConvertToDFA;
    }

    
    /**
     * Returns the jMenuItemConvertToENFA.
     *
     * @return The jMenuItemConvertToENFA.
     * @see #jMenuItemConvertToENFA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToENFA ()
    {
      return this.jMenuItemConvertToENFA;
    }

    
    /**
     * Returns the jMenuItemConvertToNFA.
     *
     * @return The jMenuItemConvertToNFA.
     * @see #jMenuItemConvertToNFA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToNFA ()
    {
      return this.jMenuItemConvertToNFA;
    }

    /**
     * Returns the jMenuItemConvertToPDA.
     *
     * @return The jMenuItemConvertToPDA.
     * @see #jMenuItemConvertToPDA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToPDA ()
    {
      return this.jMenuItemConvertToPDA;
    }

    /**
     * Returns the jMenuItemConvertToCompleteDFA.
     *
     * @return The jMenuItemConvertToCompleteDFA.
     * @see #jMenuItemConvertToCompleteDFA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToCompleteDFA ()
    {
      return this.jMenuItemConvertToCompleteDFA;
    }

    
    /**
     * Returns the jMenuItemConvertToCompleteENFA.
     *
     * @return The jMenuItemConvertToCompleteENFA.
     * @see #jMenuItemConvertToCompleteENFA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToCompleteENFA ()
    {
      return this.jMenuItemConvertToCompleteENFA;
    }

    
    /**
     * Returns the jMenuItemConvertToCompleteNFA.
     *
     * @return The jMenuItemConvertToCompleteNFA.
     * @see #jMenuItemConvertToCompleteNFA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToCompleteNFA ()
    {
      return this.jMenuItemConvertToCompleteNFA;
    }

    /**
     * Returns the jMenuItemConvertToCompletePDA.
     *
     * @return The jMenuItemConvertToCompletePDA.
     * @see #jMenuItemConvertToCompletePDA
     */
    public final javax.swing.JMenuItem getJMenuItemConvertToCompletePDA ()
    {
      return this.jMenuItemConvertToCompletePDA;
    }

    /**
     * Returns the jMenuItemToCoreSyntax.
     * 
     * @return The jMenuItemToCoreSyntax.
     */
    public JMenuItem getJMenuItemToCoreSyntax() {
        return this.jMenuItemToCoreSyntax;
    }

    /**
     * Returns the jMenuItemSave.
     *
     * @return The jMenuItemSave.
     * @see #jMenuItemSave
     */
    public final JMenuItem getJMenuItemSave ()
    {
      return this.jMenuItemSave;
    }

    public JMenuItem getJMenuItemConvertToNFACB() {
        return jMenuItemConvertToNFACB;
    }
    
    
    
    /**
     * Returns the jMenuItemSaveAs.
     *
     * @return The jMenuItemSaveAs.
     * @see #jMenuItemSave
     */
    public final JMenuItem getJMenuItemSaveAs ()
    {
      return this.jMenuItemSaveAs;
    }
    
    /**
     * Returns the jMenuItemSaveAll.
     *
     * @return The jMenuItemSaveAll.
     * @see #jMenuItemSave
     */
    public final JMenuItem getJMenuItemSaveAll ()
    {
      return this.jMenuItemSaveAll;
    }
    
    /**
     * Returns the jMenuItemUndo.
     *
     * @return The jMenuItemUndo.
     * @see #jMenuItemUndo
     */
    public final JMenuItem getJMenuItemUndo ()
    {
      return this.jMenuItemUndo;
    }
    
    /**
     * Returns the jMenuItemRedo.
     *
     * @return The jMenuItemRedo.
     * @see #jMenuItemRedo
     */
    public final JMenuItem getJMenuItemRedo ()
    {
      return this.jMenuItemRedo;
    }
    
    /**
     * Returns the jMenuItemPreferences.
     *
     * @return The jMenuItemPreferences.
     * @see #jMenuItemPreferences
     */
    public final JMenuItem getJMenuItemPreferences ()
    {
      return this.jMenuItemPreferences;
    }
    
    /**
     * Returns the jMenuItemValidate.
     *
     * @return The jMenuItemValidate.
     * @see #jMenuItemValidate
     */
    public final JMenuItem getJMenuItemValidate ()
    {
      return this.jMenuItemValidate;
    }
    
    /**
     * Returns the left {@link JGTIEditorPanelTabbedPane}.
     *
     * @return The left {@link JGTIEditorPanelTabbedPane}.
     * @see #jGTIEditorPanelTabbedPaneLeft
     */
    public final JGTIEditorPanelTabbedPane getJGTIEditorPanelTabbedPaneLeft ()
    {
      return this.jGTIEditorPanelTabbedPaneLeft;
    }

    /**
     * Returns the right {@link JGTIEditorPanelTabbedPane}.
     *
     * @return The right {@link JGTIEditorPanelTabbedPane}.
     * @see #jGTIEditorPanelTabbedPaneRight
     */
    public final JGTIEditorPanelTabbedPane getJGTIEditorPanelTabbedPaneRight ()
    {
      return this.jGTIEditorPanelTabbedPaneRight;
    }

    /**
     * Returns the outer left {@link JGTIPanel}.
     *
     * @return The outer left  {@link JGTIPanel}.
     * @see #jGTIPanelLeftOuter
     */
    public final JGTIPanel getJGTIPanelLeftOuter ()
    {
      return this.jGTIPanelLeftOuter;
    }

    public JMenuItem getJMenuItemEliminateLeftRecursion() {
        return this.jMenuItemEliminateLeftRecursion;
    }
    
    

    /**
     * Returns the outer right {@link JGTIPanel}.
     *
     * @return The outer right  {@link JGTIPanel}.
     * @see #jGTIPanelRightOuter
     */
    public final JGTIPanel getJGTIPanelRightOuter ()
    {
      return this.jGTIPanelRightOuter;
    }

    /**
     * Returns the inner left {@link JGTIPanel}.
     *
     * @return The inner left  {@link JGTIPanel}.
     * @see #jGTIPanelLeftInner
     */
    public final JGTIPanel getJGTIPanelLeftInner ()
    {
      return this.jGTIPanelLeftInner;
    }

    /**
     * Returns the inner right {@link JGTIPanel}.
     *
     * @return The inner right  {@link JGTIPanel}.
     * @see #jGTIPanelRightInner
     */
    public final JGTIPanel getJGTIPanelRightInner ()
    {
      return this.jGTIPanelRightInner;
    }

    /**
     * Returns the {@link JGTIMainSplitPane}.
     *
     * @return The {@link JGTIMainSplitPane}.
     * @see #jGTIMainSplitPane
     */
    public final JGTIMainSplitPane getJGTIMainSplitPane ()
    {
      return this.jGTIMainSplitPane;
    }

    /**
     * Returns the jCheckBoxMenuItemConsole.
     *
     * @return The jCheckBoxMenuItemConsole.
     * @see #jCheckBoxMenuItemConsole
     */
    public final JCheckBoxMenuItem getJCheckBoxMenuItemConsole ()
    {
      return this.jCheckBoxMenuItemConsole;
    }

    
    /**
     * Returns the jCheckBoxMenuItemTable.
     *
     * @return The jCheckBoxMenuItemTable.
     * @see #jCheckBoxMenuItemTable
     */
    public final JCheckBoxMenuItem getJCheckBoxMenuItemTable ()
    {
      return this.jCheckBoxMenuItemTable;
    }


    /**
     * Returns the jCheckBoxMenuItemSecondView.
     *
     * @return The jCheckBoxMenuItemSecondView.
     * @see #jCheckBoxMenuItemSecondView
     */
    public final JCheckBoxMenuItem getJCheckBoxMenuItemSecondView ()
    {
      return this.jCheckBoxMenuItemSecondView;
    }
    
    /**
     * Returns the jGTIToolBarButtonAddProduction.
     *
     * @return The jGTIToolBarButtonAddProduction.
     * @see #jGTIToolBarButtonAddProduction
     */
    public final JGTIToolBarButton getJGTIToolBarButtonAddProduction ()
    {
      return this.jGTIToolBarButtonAddProduction;
    }

    
    /**
     * Returns the jGTIToolBarButtonEditDocument.
     *
     * @return The jGTIToolBarButtonEditDocument.
     * @see #jGTIToolBarButtonEditDocument
     */
    public final JGTIToolBarButton getJGTIToolBarButtonEditDocument ()
    {
      return this.jGTIToolBarButtonEditDocument;
    }


    /**
     * Returns the jGTIToolBarButtonNew.
     *
     * @return The jGTIToolBarButtonNew.
     * @see #jGTIToolBarButtonNew
     */
    public final JGTIToolBarButton getJGTIToolBarButtonNew ()
    {
      return this.jGTIToolBarButtonNew;
    }

    
    /**
     * Returns the jGTIToolBarButtonNextStep.
     *
     * @return The jGTIToolBarButtonNextStep.
     * @see #jGTIToolBarButtonNextStep
     */
    public final JGTIToolBarButton getJGTIToolBarButtonNextStep ()
    {
      return this.jGTIToolBarButtonNextStep;
    }

    
    /**
     * Returns the jGTIToolBarButtonOpen.
     *
     * @return The jGTIToolBarButtonOpen.
     * @see #jGTIToolBarButtonOpen
     */
    public final JGTIToolBarButton getJGTIToolBarButtonOpen ()
    {
      return this.jGTIToolBarButtonOpen;
    }

    
    /**
     * Returns the jGTIToolBarButtonPreviousStep.
     *
     * @return The jGTIToolBarButtonPreviousStep.
     * @see #jGTIToolBarButtonPreviousStep
     */
    public final JGTIToolBarButton getJGTIToolBarButtonPreviousStep ()
    {
      return this.jGTIToolBarButtonPreviousStep;
    }

    
    /**
     * Returns the jGTIToolBarButtonRedo.
     *
     * @return The jGTIToolBarButtonRedo.
     * @see #jGTIToolBarButtonRedo
     */
    public final JGTIToolBarButton getJGTIToolBarButtonRedo ()
    {
      return this.jGTIToolBarButtonRedo;
    }

    
    /**
     * Returns the jGTIToolBarButtonSave.
     *
     * @return The jGTIToolBarButtonSave.
     * @see #jGTIToolBarButtonSave
     */
    public final JGTIToolBarButton getJGTIToolBarButtonSave ()
    {
      return this.jGTIToolBarButtonSave;
    }

    
    /**
     * Returns the jGTIToolBarButtonSaveAs.
     *
     * @return The jGTIToolBarButtonSaveAs.
     * @see #jGTIToolBarButtonSaveAs
     */
    public final JGTIToolBarButton getJGTIToolBarButtonSaveAs ()
    {
      return this.jGTIToolBarButtonSaveAs;
    }

    
    /**
     * Returns the jGTIToolBarButtonStart.
     *
     * @return The jGTIToolBarButtonStart.
     * @see #jGTIToolBarButtonStart
     */
    public final JGTIToolBarButton getJGTIToolBarButtonStart ()
    {
      return this.jGTIToolBarButtonStart;
    }

    
    /**
     * Returns the jGTIToolBarButtonStop.
     *
     * @return The jGTIToolBarButtonStop.
     * @see #jGTIToolBarButtonStop
     */
    public final JGTIToolBarButton getJGTIToolBarButtonStop ()
    {
      return this.jGTIToolBarButtonStop;
    }

    
    /**
     * Returns the jGTIToolBarButtonUndo.
     *
     * @return The jGTIToolBarButtonUndo.
     * @see #jGTIToolBarButtonUndo
     */
    public final JGTIToolBarButton getJGTIToolBarButtonUndo ()
    {
      return this.jGTIToolBarButtonUndo;
    }

    
    /**
     * Returns the jGTIToolBarToggleButtonAddState.
     *
     * @return The jGTIToolBarToggleButtonAddState.
     * @see #jGTIToolBarToggleButtonAddState
     */
    public final JGTIToolBarToggleButton getJGTIToolBarToggleButtonAddState ()
    {
      return this.jGTIToolBarToggleButtonAddState;
    }

    
    /**
     * Returns the jGTIToolBarToggleButtonAddTransition.
     *
     * @return The jGTIToolBarToggleButtonAddTransition.
     * @see #jGTIToolBarToggleButtonAddTransition
     */
    public final JGTIToolBarToggleButton getJGTIToolBarToggleButtonAddTransition ()
    {
      return this.jGTIToolBarToggleButtonAddTransition;
    }

    
    /**
     * Returns the jGTIToolBarToggleButtonAutoStep.
     *
     * @return The jGTIToolBarToggleButtonAutoStep.
     * @see #jGTIToolBarToggleButtonAutoStep
     */
    public final JGTIToolBarToggleButton getJGTIToolBarToggleButtonAutoStep ()
    {
      return this.jGTIToolBarToggleButtonAutoStep;
    }

    
    /**
     * Returns the jGTIToolBarToggleButtonFinalState.
     *
     * @return The jGTIToolBarToggleButtonFinalState.
     * @see #jGTIToolBarToggleButtonFinalState
     */
    public final JGTIToolBarToggleButton getJGTIToolBarToggleButtonFinalState ()
    {
      return this.jGTIToolBarToggleButtonFinalState;
    }

    /**
     * Returns the jGTIToolBarToggleButtonEnterWord.
     *
     * @return The jGTIToolBarToggleButtonEnterWord.
     * @see #jGTIToolBarToggleButtonEnterWord
     */
    public final JGTIToolBarToggleButton getJGTIToolBarToggleButtonEnterWord ()
    {
      return this.jGTIToolBarToggleButtonEnterWord;
    }

    /**
     * Returns the jGTIToolBarToggleButtonMouse.
     *
     * @return The jGTIToolBarToggleButtonMouse.
     * @see #jGTIToolBarToggleButtonMouse
     */
    public final JGTIToolBarToggleButton getJGTIToolBarToggleButtonMouse ()
    {
      return this.jGTIToolBarToggleButtonMouse;
    }

    
    /**
     * Returns the jGTIToolBarToggleButtonStartState.
     *
     * @return The jGTIToolBarToggleButtonStartState.
     * @see #jGTIToolBarToggleButtonStartState
     */
    public final JGTIToolBarToggleButton getJGTIToolBarToggleButtonStartState ()
    {
      return this.jGTIToolBarToggleButtonStartState;
    }

    
    /**
     * Returns the jMenuBarMain.
     *
     * @return The jMenuBarMain.
     * @see #jMenuBarMain
     */
    public final JMenuBar getJMenuBarMain ()
    {
      return this.jMenuBarMain;
    }

    /**
     * Returns the jMenuConvertTo.
     *
     * @return The jMenuConvertTo.
     * @see #jMenuConvertTo
     */
    public final JMenuItem getJMenuConvertTo ()
    {
      return this.jMenuConvertTo;
    }

    /**
     * Returns the jMenuConvertToComplete.
     *
     * @return The jMenuConvertToComplete.
     * @see #jMenuConvertToComplete
     */
    public final JMenuItem getJMenuConvertToComplete ()
    {
      return this.jMenuConvertToComplete;
    }

    /**
     * Returns the jMenuDraft.
     *
     * @return The jMenuDraft.
     * @see #jMenuDraft
     */
    public final JMenu getJMenuDraft ()
    {
      return this.jMenuDraft;
    }

    
    /**
     * Returns the jMenuEdit.
     *
     * @return The jMenuEdit.
     * @see #jMenuEdit
     */
    public final JMenu getJMenuEdit ()
    {
      return this.jMenuEdit;
    }

    
    /**
     * Returns the jMenuExecute.
     *
     * @return The jMenuExecute.
     * @see #jMenuExecute
     */
    public final JMenu getJMenuExecute ()
    {
      return this.jMenuExecute;
    }

    
    /**
     * Returns the jMenuExtras.
     *
     * @return The jMenuExtras.
     * @see #jMenuExtras
     */
    public final JMenu getJMenuExtras ()
    {
      return this.jMenuExtras;
    }

    
    /**
     * Returns the jMenuFile.
     *
     * @return The jMenuFile.
     * @see #jMenuFile
     */
    public final JMenu getJMenuFile ()
    {
      return this.jMenuFile;
    }

    
    /**
     * Returns the jMenuHelp.
     *
     * @return The jMenuHelp.
     * @see #jMenuHelp
     */
    public final JMenu getJMenuHelp ()
    {
      return this.jMenuHelp;
    }

    
    /**
     * Returns the jMenuItemAbout.
     *
     * @return The jMenuItemAbout.
     * @see #jMenuItemAbout
     */
    public final JMenuItem getJMenuItemAbout ()
    {
      return this.jMenuItemAbout;
    }
    
    /**
     * Returns the jMenuItemAutoLayout.
     *
     * @return The jMenuItemAutoLayout.
     * @see #jMenuItemAutoLayout
     */
    public final JMenuItem getJMenuItemAutoLayout ()
    {
      return this.jMenuItemAutoLayout;
    }

    
    /**
     * Returns the jMenuItemCFG.
     *
     * @return The jMenuItemCFG.
     * @see #jMenuItemCFG
     */
    public final JMenuItem getJMenuItemCFG ()
    {
      return this.jMenuItemCFG;
    }

    
    /**
     * Returns the jMenuItemDFA.
     *
     * @return The jMenuItemDFA.
     * @see #jMenuItemDFA
     */
    public final JMenuItem getJMenuItemDFA ()
    {
      return this.jMenuItemDFA;
    }

    
    /**
     * Returns the jMenuItemENFA.
     *
     * @return The jMenuItemENFA.
     * @see #jMenuItemENFA
     */
    public final JMenuItem getJMenuItemENFA ()
    {
      return this.jMenuItemENFA;
    }

    
    /**
     * Returns the jMenuItemEditMachine.
     *
     * @return The jMenuItemEditMachine.
     * @see #jMenuItemEditMachine
     */
    public final JMenuItem getJMenuItemEditMachine ()
    {
      return this.jMenuItemEditMachine;
    }

    
    /**
     * Returns the jMenuItemEnterWord.
     *
     * @return The jMenuItemEnterWord.
     * @see #jMenuItemEnterWord
     */
    public final JMenuItem getJMenuItemEnterWord ()
    {
      return this.jMenuItemEnterWord;
    }

    
    /**
     * Returns the jMenuItemExchange.
     *
     * @return The jMenuItemExchange.
     * @see #jMenuItemExchange
     */
    public final JMenuItem getJMenuItemExchange ()
    {
      return this.jMenuItemExchange;
    }

    
    /**
     * Returns the jMenuItemHistory.
     *
     * @return The jMenuItemHistory.
     * @see #jMenuItemHistory
     */
    public final JMenuItem getJMenuItemHistory ()
    {
      return this.jMenuItemHistory;
    }

    
    /**
     * Returns the jCheckBoxMenuItemRegexInfo.
     *
     * @return The jCheckBoxMenuItemRegexInfo.
     * @see #jCheckBoxMenuItemRegexInfo
     */
    public final JCheckBoxMenuItem getJCheckBoxMenuItemRegexInfo ()
    {
      return this.jCheckBoxMenuItemRegexInfo;
    }


    /**
     * Returns the jMenuItemReachableStates.
     *
     * @return The jMenuItemReachableStates.
     * @see #jMenuItemReachableStates
     */
    public final JMenuItem getJMenuItemReachableStates ()
    {
      return this.jMenuItemReachableStates;
    }


    /**
     * Returns the jMenuItemExportPicture.
     *
     * @return The jMenuItemExportPicture.
     * @see #jMenuItemExportPicture
     */
    public final JMenuItem getJMenuItemExportPicture ()
    {
      return this.jMenuItemExportPicture;
    }


    /**
     * Returns the jMenuItemReorderStateNames.
     *
     * @return The jMenuItemReorderStateNames.
     * @see #jMenuItemReorderStateNames
     */
    public final JMenuItem getJMenuItemReorderStateNames ()
    {
      return this.jMenuItemReorderStateNames;
    }


    /**
     * Returns the jMenuItemNFA.
     *
     * @return The jMenuItemNFA.
     * @see #jMenuItemNFA
     */
    public final JMenuItem getJMenuItemNFA ()
    {
      return this.jMenuItemNFA;
    }

    
    /**
     * Returns the jMenuItemPDA.
     *
     * @return The jMenuItemPDA.
     * @see #jMenuItemPDA
     */
    public final JMenuItem getJMenuItemPDA ()
    {
      return this.jMenuItemPDA;
    }

    
    /**
     * Returns the jMenuItemQuit.
     *
     * @return The jMenuItemQuit.
     * @see #jMenuItemQuit
     */
    public final JMenuItem getJMenuItemQuit ()
    {
      return this.jMenuItemQuit;
    }

    
    /**
     * Returns the jMenuItemRG.
     *
     * @return The jMenuItemRG.
     * @see #jMenuItemRG
     */
    public final JMenuItem getJMenuItemRG ()
    {
      return this.jMenuItemRG;
    }

    
    /**
     * Returns the jMenuRecentlyUsed.
     *
     * @return The jMenuRecentlyUsed.
     * @see #jMenuRecentlyUsed
     */
    public final JMenu getJMenuRecentlyUsed ()
    {
      return this.jMenuRecentlyUsed;
    }

    
    /**
     * Returns the jMenuView.
     *
     * @return The jMenuView.
     * @see #jMenuView
     */
    public final JMenu getJMenuView ()
    {
      return this.jMenuView;
    }

    
    /**
     * Returns the jToolBarEdit.
     *
     * @return The jToolBarEdit.
     * @see #jToolBarEdit
     */
    public final JToolBar getJToolBarEdit ()
    {
      return this.jToolBarEdit;
    }

    public JMenuItem getJMenuItemLeftfactoring() {
        return this.jMenuItemLeftfactoring;
    }
    
    

    
    /**
     * Returns the jToolBarFile.
     *
     * @return The jToolBarFile.
     * @see #jToolBarFile
     */
    public final JToolBar getJToolBarFile ()
    {
      return this.jToolBarFile;
    }

    
    /**
     * Returns the jToolBarMain.
     *
     * @return The jToolBarMain.
     * @see #jToolBarMain
     */
    public final JToolBar getJToolBarMain ()
    {
      return this.jToolBarMain;
    }

    
    /**
     * Returns the jToolBarNavigation.
     *
     * @return The jToolBarNavigation.
     * @see #jToolBarNavigation
     */
    public final JToolBar getJToolBarNavigation ()
    {
      return this.jToolBarNavigation;
    }
    
    /**
     * Returns the jSeparatorNavigation.
     *
     * @return The jSeparatorNavigation.
     * @see #jSeparatorNavigation
     */
    public final JSeparator getJSeparatorNavigation ()
    {
      return this.jSeparatorNavigation;
    }
    
    /**
     * Returns the jMenuItemMinimize.
     *
     * @return The jMenuItemMinimize.
     * @see #jMenuItemMinimize
     */
    public final JMenuItem getJMenuItemMinimize ()
    {
      return this.jMenuItemMinimize;
    }
    
    
    /**
     * Returns the jMenuItemConvertToRegex.
     *
     * @return The jMenuItemConvertToRegex.
     * @see #jMenuItemConvertToRegex
     */
    public final JMenuItem getJMenuItemConvertToRegex ()
    {
      return this.jMenuItemConvertToRegex;
    }

    
    
    /**
     * Returns the jMenuItemCreateRDP.
     *
     * @return The jMenuItemCreateRDP.
     * @see #jMenuItemCreateRDP
     */
    public JMenuItem getJMenuItemCreateRDP() {
        return this.jMenuItemCreateRDP;
    }

    /**
     * Returns the jMenuItemEliminateEntityProductions.
     *
     * @return The jMenuItemEliminateEntityProductions.
     * @see #jMenuItemEliminateEntityProductions
     */
    public JMenuItem getJMenuItemEliminateEntityProductions() {
        return this.jMenuItemEliminateEntityProductions;
    }

    /**
     * Returns the jMenuItemEliminateEpsilonProductions.
     *
     * @return The jMenuItemEliminateEpsilonProductions.
     * @see #jMenuItemEliminateEpsilonProductions
     */
    public JMenuItem getJMenuItemEliminateEpsilonProductions() {
        return this.jMenuItemEliminateEpsilonProductions;
    }
    

    /** This method is called from within the constructor to
     * initialize the form.
     * WARNING: Do NOT modify this code. The content of this method is
     * always regenerated by the Form Editor.
     */
    // <editor-fold defaultstate="collapsed" desc="Generated Code">//GEN-BEGIN:initComponents
    private void initComponents() {
        java.awt.GridBagConstraints gridBagConstraints;

        modeSettingsGroup = new javax.swing.ButtonGroup();
        toolbarButton = new javax.swing.ButtonGroup();
        jToolBarMain = new javax.swing.JToolBar();
        jToolBarFile = new javax.swing.JToolBar();
        jGTIToolBarButtonNew = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarButtonOpen = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarButtonSave = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarButtonSaveAs = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jSeparatorFileEdit = new javax.swing.JSeparator();
        jToolBarEdit = new javax.swing.JToolBar();
        jGTIToolBarButtonUndo = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarButtonRedo = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jSeparatorEditNavigation = new javax.swing.JSeparator();
        jToolBarNavigation = new javax.swing.JToolBar();
        jGTIToolBarButtonEditDocument = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarToggleButtonMouse = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton();
        jGTIToolBarToggleButtonAddState = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton();
        jGTIToolBarToggleButtonAddTransition = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton();
        jGTIToolBarToggleButtonStartState = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton();
        jGTIToolBarToggleButtonFinalState = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton();
        jGTIToolBarToggleButtonEnterWord = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton();
        jGTIToolBarButtonAddProduction = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jSeparatorNavigation = new javax.swing.JSeparator();
        jGTIToolBarButtonStart = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarButtonPreviousStep = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarButtonNextStep = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIToolBarToggleButtonAutoStep = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton();
        jGTIToolBarButtonStop = new de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton();
        jGTIMainSplitPane = new de.unisiegen.gtitool.ui.swing.specialized.JGTIMainSplitPane();
        jGTIPanelLeftOuter = new de.unisiegen.gtitool.ui.swing.JGTIPanel();
        jGTIPanelLeftInner = new de.unisiegen.gtitool.ui.swing.JGTIPanel();
        jGTIEditorPanelTabbedPaneLeft = new de.unisiegen.gtitool.ui.swing.specialized.JGTIEditorPanelTabbedPane();
        jGTIPanelRightOuter = new de.unisiegen.gtitool.ui.swing.JGTIPanel();
        jGTIPanelRightInner = new de.unisiegen.gtitool.ui.swing.JGTIPanel();
        jGTIEditorPanelTabbedPaneRight = new de.unisiegen.gtitool.ui.swing.specialized.JGTIEditorPanelTabbedPane();
        jMenuBarMain = new javax.swing.JMenuBar();
        jMenuFile = new javax.swing.JMenu();
        jMenuItemNew = new javax.swing.JMenuItem();
        jMenuItemOpen = new javax.swing.JMenuItem();
        jMenuItemClose = new javax.swing.JMenuItem();
        jMenuItemCloseAll = new javax.swing.JMenuItem();
        jSeparatorFile1 = new javax.swing.JSeparator();
        jMenuItemPrint = new javax.swing.JMenuItem();
        jSeparatorFile2 = new javax.swing.JSeparator();
        jMenuItemSave = new javax.swing.JMenuItem();
        jMenuItemSaveAs = new javax.swing.JMenuItem();
        jMenuItemSaveAll = new javax.swing.JMenuItem();
        jSeparatorFile3 = new javax.swing.JSeparator();
        jMenuItemExportPicture = new javax.swing.JMenuItem();
        jMenuItemExportLatex = new javax.swing.JMenuItem();
        jSeparatorFile4 = new javax.swing.JSeparator();
        jMenuRecentlyUsed = new javax.swing.JMenu();
        jSeparatorFile5 = new javax.swing.JSeparator();
        jMenuItemQuit = new javax.swing.JMenuItem();
        jMenuEdit = new javax.swing.JMenu();
        jMenuItemUndo = new javax.swing.JMenuItem();
        jMenuItemRedo = new javax.swing.JMenuItem();
        jSeparatorEdit = new javax.swing.JSeparator();
        jMenuItemPreferences = new javax.swing.JMenuItem();
        jMenuView = new javax.swing.JMenu();
        jCheckBoxMenuItemConsole = new javax.swing.JCheckBoxMenuItem();
        jCheckBoxMenuItemTable = new javax.swing.JCheckBoxMenuItem();
        jCheckBoxMenuItemRegexInfo = new javax.swing.JCheckBoxMenuItem();
        jSeparatorView = new javax.swing.JSeparator();
        jCheckBoxMenuItemSecondView = new javax.swing.JCheckBoxMenuItem();
        jMenuExecute = new javax.swing.JMenu();
        jMenuItemEnterWord = new javax.swing.JMenuItem();
        jMenuItemEditMachine = new javax.swing.JMenuItem();
        jSeparatorExecute0 = new javax.swing.JSeparator();
        jMenuItemValidate = new javax.swing.JMenuItem();
        jMenuConvertTo = new javax.swing.JMenu();
        jMenuItemConvertToDFA = new javax.swing.JMenuItem();
        jMenuItemConvertToNFA = new javax.swing.JMenuItem();
        jMenuItemConvertToNFACB = new javax.swing.JMenuItem();
        jMenuItemConvertToENFA = new javax.swing.JMenuItem();
        jMenuItemConvertToPDA = new javax.swing.JMenuItem();
        jMenuItemConvertToRegex = new javax.swing.JMenuItem();
        jMenuConvertToComplete = new javax.swing.JMenu();
        jMenuItemConvertToCompleteDFA = new javax.swing.JMenuItem();
        jMenuItemConvertToCompleteNFA = new javax.swing.JMenuItem();
        jMenuItemConvertToCompleteENFA = new javax.swing.JMenuItem();
        jMenuItemConvertToCompletePDA = new javax.swing.JMenuItem();
        jMenuDraft = new javax.swing.JMenu();
        jMenuItemDFA = new javax.swing.JMenuItem();
        jMenuItemNFA = new javax.swing.JMenuItem();
        jMenuItemENFA = new javax.swing.JMenuItem();
        jMenuItemPDA = new javax.swing.JMenuItem();
        jMenuItemRG = new javax.swing.JMenuItem();
        jMenuItemCFG = new javax.swing.JMenuItem();
        jSeparatorExecute1 = new javax.swing.JSeparator();
        jMenuItemAutoLayout = new javax.swing.JMenuItem();
        jMenuItemMinimize = new javax.swing.JMenuItem();
        jMenuItemToCoreSyntax = new javax.swing.JMenuItem();
        jMenuItemEliminateLeftRecursion = new javax.swing.JMenuItem();
        jMenuItemEliminateEntityProductions = new javax.swing.JMenuItem();
        jMenuItemEliminateEpsilonProductions = new javax.swing.JMenuItem();
        jMenuItemLeftfactoring = new javax.swing.JMenuItem();
        jMenuItemCreateRDP = new javax.swing.JMenuItem();
        jMenuExtras = new javax.swing.JMenu();
        jMenuItemExchange = new javax.swing.JMenuItem();
        jSeparatorExtras = new javax.swing.JSeparator();
        jMenuItemHistory = new javax.swing.JMenuItem();
        jMenuItemReachableStates = new javax.swing.JMenuItem();
        jMenuItemReorderStateNames = new javax.swing.JMenuItem();
        jMenuHelp = new javax.swing.JMenu();
        jMenuItemAbout = new javax.swing.JMenuItem();

        setDefaultCloseOperation(javax.swing.WindowConstants.DO_NOTHING_ON_CLOSE);
        addWindowListener(new java.awt.event.WindowAdapter() {
            public void windowClosing(java.awt.event.WindowEvent evt) {
                formWindowClosing(evt);
            }
        });
        getContentPane().setLayout(new java.awt.GridBagLayout());

        jToolBarMain.setBorder(null);
        jToolBarMain.setFloatable(false);
        jToolBarMain.setBorderPainted(false);

        jToolBarFile.setBorder(null);
        jToolBarFile.setFloatable(false);
        jToolBarFile.setBorderPainted(false);
        jToolBarFile.setOpaque(false);

        jGTIToolBarButtonNew.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/large/new.png"))); // NOI18N
        java.util.ResourceBundle bundle = java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages"); // NOI18N
        jGTIToolBarButtonNew.setToolTipText(bundle.getString("MainWindow.NewToolTip")); // NOI18N
        jGTIToolBarButtonNew.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonNewActionPerformed(evt);
            }
        });
        jToolBarFile.add(jGTIToolBarButtonNew);

        jGTIToolBarButtonOpen.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/large/open.png"))); // NOI18N
        jGTIToolBarButtonOpen.setToolTipText(bundle.getString("MainWindow.OpenToolTip")); // NOI18N
        jGTIToolBarButtonOpen.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonOpenActionPerformed(evt);
            }
        });
        jToolBarFile.add(jGTIToolBarButtonOpen);

        jGTIToolBarButtonSave.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/large/save.png"))); // NOI18N
        jGTIToolBarButtonSave.setToolTipText(bundle.getString("MainWindow.SaveToolTip")); // NOI18N
        jGTIToolBarButtonSave.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonSaveActionPerformed(evt);
            }
        });
        jToolBarFile.add(jGTIToolBarButtonSave);

        jGTIToolBarButtonSaveAs.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/large/saveAs.png"))); // NOI18N
        jGTIToolBarButtonSaveAs.setToolTipText(bundle.getString("MainWindow.SaveAsToolTip")); // NOI18N
        jGTIToolBarButtonSaveAs.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonSaveAsActionPerformed(evt);
            }
        });
        jToolBarFile.add(jGTIToolBarButtonSaveAs);

        jToolBarMain.add(jToolBarFile);

        jSeparatorFileEdit.setOrientation(javax.swing.SwingConstants.VERTICAL);
        jSeparatorFileEdit.setMaximumSize(new java.awt.Dimension(5, 32));
        jToolBarMain.add(jSeparatorFileEdit);

        jToolBarEdit.setBorder(null);
        jToolBarEdit.setFloatable(false);
        jToolBarEdit.setBorderPainted(false);
        jToolBarEdit.setOpaque(false);

        jGTIToolBarButtonUndo.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/large/undo.png"))); // NOI18N
        jGTIToolBarButtonUndo.setToolTipText(bundle.getString("MainWindow.UndoToolTip")); // NOI18N
        jGTIToolBarButtonUndo.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonUndoActionPerformed(evt);
            }
        });
        jToolBarEdit.add(jGTIToolBarButtonUndo);

        jGTIToolBarButtonRedo.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/large/redo.png"))); // NOI18N
        jGTIToolBarButtonRedo.setToolTipText(bundle.getString("MainWindow.RedoToolTip")); // NOI18N
        jGTIToolBarButtonRedo.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonRedoActionPerformed(evt);
            }
        });
        jToolBarEdit.add(jGTIToolBarButtonRedo);

        jToolBarMain.add(jToolBarEdit);

        jSeparatorEditNavigation.setOrientation(javax.swing.SwingConstants.VERTICAL);
        jSeparatorEditNavigation.setMaximumSize(new java.awt.Dimension(5, 32));
        jToolBarMain.add(jSeparatorEditNavigation);

        jToolBarNavigation.setBorder(null);
        jToolBarNavigation.setFloatable(false);
        jToolBarNavigation.setBorderPainted(false);
        jToolBarNavigation.setOpaque(false);

        jGTIToolBarButtonEditDocument.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/large/document.png"))); // NOI18N
        jGTIToolBarButtonEditDocument.setToolTipText(bundle.getString("MachinePanel.EditDocument")); // NOI18N
        jGTIToolBarButtonEditDocument.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonEditDocumentActionPerformed(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarButtonEditDocument);

        toolbarButton.add(jGTIToolBarToggleButtonMouse);
        jGTIToolBarToggleButtonMouse.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/machine/mouse.png"))); // NOI18N
        jGTIToolBarToggleButtonMouse.setSelected(true);
        jGTIToolBarToggleButtonMouse.setToolTipText(bundle.getString("MachinePanel.Mouse")); // NOI18N
        jGTIToolBarToggleButtonMouse.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jGTIToolBarToggleButtonMouseItemStateChanged(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarToggleButtonMouse);

        toolbarButton.add(jGTIToolBarToggleButtonAddState);
        jGTIToolBarToggleButtonAddState.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/machine/state.png"))); // NOI18N
        jGTIToolBarToggleButtonAddState.setToolTipText(bundle.getString("MachinePanel.AddState")); // NOI18N
        jGTIToolBarToggleButtonAddState.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jGTIToolBarToggleButtonAddStateItemStateChanged(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarToggleButtonAddState);

        toolbarButton.add(jGTIToolBarToggleButtonAddTransition);
        jGTIToolBarToggleButtonAddTransition.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/machine/transition.png"))); // NOI18N
        jGTIToolBarToggleButtonAddTransition.setToolTipText(bundle.getString("MachinePanel.AddTransition")); // NOI18N
        jGTIToolBarToggleButtonAddTransition.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jGTIToolBarToggleButtonAddTransitionItemStateChanged(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarToggleButtonAddTransition);

        toolbarButton.add(jGTIToolBarToggleButtonStartState);
        jGTIToolBarToggleButtonStartState.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/machine/start.png"))); // NOI18N
        jGTIToolBarToggleButtonStartState.setToolTipText(bundle.getString("MachinePanel.AddStartState")); // NOI18N
        jGTIToolBarToggleButtonStartState.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jGTIToolBarToggleButtonStartStateItemStateChanged(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarToggleButtonStartState);

        toolbarButton.add(jGTIToolBarToggleButtonFinalState);
        jGTIToolBarToggleButtonFinalState.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/machine/final.png"))); // NOI18N
        jGTIToolBarToggleButtonFinalState.setToolTipText(bundle.getString("MachinePanel.AddFinalState")); // NOI18N
        jGTIToolBarToggleButtonFinalState.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jGTIToolBarToggleButtonFinalStateItemStateChanged(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarToggleButtonFinalState);

        jGTIToolBarToggleButtonEnterWord.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/machine/word.png"))); // NOI18N
        jGTIToolBarToggleButtonEnterWord.setToolTipText(bundle.getString("MainWindow.EnterWord")); // NOI18N
        jGTIToolBarToggleButtonEnterWord.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jGTIToolBarToggleButtonEnterWordItemStateChanged(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarToggleButtonEnterWord);

        jGTIToolBarButtonAddProduction.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/grammar/large/add.png"))); // NOI18N
        jGTIToolBarButtonAddProduction.setToolTipText(bundle.getString("GrammarPanel.AddProduction")); // NOI18N
        jGTIToolBarButtonAddProduction.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonAddProductionActionPerformed(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarButtonAddProduction);

        jSeparatorNavigation.setOrientation(javax.swing.SwingConstants.VERTICAL);
        jSeparatorNavigation.setMaximumSize(new java.awt.Dimension(5, 32));
        jToolBarNavigation.add(jSeparatorNavigation);

        jGTIToolBarButtonStart.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/navigation/large/start.png"))); // NOI18N
        jGTIToolBarButtonStart.setToolTipText(bundle.getString("MachinePanel.WordModeStart")); // NOI18N
        jGTIToolBarButtonStart.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonStartActionPerformed(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarButtonStart);

        jGTIToolBarButtonPreviousStep.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/navigation/large/backward.png"))); // NOI18N
        jGTIToolBarButtonPreviousStep.setToolTipText(bundle.getString("MachinePanel.WordModePreviousStep")); // NOI18N
        jGTIToolBarButtonPreviousStep.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonPreviousStepActionPerformed(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarButtonPreviousStep);

        jGTIToolBarButtonNextStep.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/navigation/large/forward.png"))); // NOI18N
        jGTIToolBarButtonNextStep.setToolTipText(bundle.getString("MachinePanel.WordModeNextStep")); // NOI18N
        jGTIToolBarButtonNextStep.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonNextStepActionPerformed(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarButtonNextStep);

        jGTIToolBarToggleButtonAutoStep.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/navigation/large/autostep.png"))); // NOI18N
        jGTIToolBarToggleButtonAutoStep.setToolTipText(bundle.getString("MachinePanel.WordModeAutoStep")); // NOI18N
        jGTIToolBarToggleButtonAutoStep.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jGTIToolBarToggleButtonAutoStepItemStateChanged(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarToggleButtonAutoStep);

        jGTIToolBarButtonStop.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/navigation/large/stop.png"))); // NOI18N
        jGTIToolBarButtonStop.setToolTipText(bundle.getString("MachinePanel.WordModeStop")); // NOI18N
        jGTIToolBarButtonStop.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jGTIToolBarButtonStopActionPerformed(evt);
            }
        });
        jToolBarNavigation.add(jGTIToolBarButtonStop);

        jToolBarMain.add(jToolBarNavigation);

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 0;
        gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
        gridBagConstraints.weightx = 1.0;
        getContentPane().add(jToolBarMain, gridBagConstraints);

        jGTIMainSplitPane.setDividerLocation(380);
        jGTIMainSplitPane.setResizeWeight(0.5);

        jGTIPanelLeftInner.setBorder(new javax.swing.border.LineBorder(new java.awt.Color(50, 150, 250), 3, true));

        jGTIEditorPanelTabbedPaneLeft.addMouseListener(new java.awt.event.MouseAdapter() {
            public void mouseReleased(java.awt.event.MouseEvent evt) {
                jGTIEditorPanelTabbedPaneLeftMouseReleased(evt);
            }
        });
        jGTIEditorPanelTabbedPaneLeft.addChangeListener(new javax.swing.event.ChangeListener() {
            public void stateChanged(javax.swing.event.ChangeEvent evt) {
                jGTIEditorPanelTabbedPaneLeftStateChanged(evt);
            }
        });
        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 0;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.weightx = 1.0;
        gridBagConstraints.weighty = 1.0;
        gridBagConstraints.insets = new java.awt.Insets(3, 3, 3, 3);
        jGTIPanelLeftInner.add(jGTIEditorPanelTabbedPaneLeft, gridBagConstraints);

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 0;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.weightx = 1.0;
        gridBagConstraints.weighty = 1.0;
        gridBagConstraints.insets = new java.awt.Insets(0, 0, 0, 5);
        jGTIPanelLeftOuter.add(jGTIPanelLeftInner, gridBagConstraints);

        jGTIMainSplitPane.setLeftComponent(jGTIPanelLeftOuter);

        jGTIPanelRightInner.setBorder(new javax.swing.border.LineBorder(new java.awt.Color(100, 200, 250), 3, true));

        jGTIEditorPanelTabbedPaneRight.addMouseListener(new java.awt.event.MouseAdapter() {
            public void mouseReleased(java.awt.event.MouseEvent evt) {
                jGTIEditorPanelTabbedPaneRightMouseReleased(evt);
            }
        });
        jGTIEditorPanelTabbedPaneRight.addChangeListener(new javax.swing.event.ChangeListener() {
            public void stateChanged(javax.swing.event.ChangeEvent evt) {
                jGTIEditorPanelTabbedPaneRightStateChanged(evt);
            }
        });
        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 0;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.weightx = 1.0;
        gridBagConstraints.weighty = 1.0;
        gridBagConstraints.insets = new java.awt.Insets(3, 3, 3, 3);
        jGTIPanelRightInner.add(jGTIEditorPanelTabbedPaneRight, gridBagConstraints);

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 0;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.weightx = 1.0;
        gridBagConstraints.weighty = 1.0;
        gridBagConstraints.insets = new java.awt.Insets(0, 5, 0, 0);
        jGTIPanelRightOuter.add(jGTIPanelRightInner, gridBagConstraints);

        jGTIMainSplitPane.setRightComponent(jGTIPanelRightOuter);

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 1;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.weightx = 1.0;
        gridBagConstraints.weighty = 1.0;
        getContentPane().add(jGTIMainSplitPane, gridBagConstraints);

        jMenuFile.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.FileMnemonic").charAt(0));
        jMenuFile.setText(bundle.getString("MainWindow.File")); // NOI18N

        jMenuItemNew.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_N, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemNew.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/new.png"))); // NOI18N
        jMenuItemNew.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.NewMnemonic").charAt(0));
        jMenuItemNew.setText(bundle.getString("MainWindow.New")); // NOI18N
        jMenuItemNew.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleNew(evt);
            }
        });
        jMenuFile.add(jMenuItemNew);

        jMenuItemOpen.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_O, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemOpen.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/open.png"))); // NOI18N
        jMenuItemOpen.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.OpenMnemonic").charAt(0));
        jMenuItemOpen.setText(bundle.getString("MainWindow.Open")); // NOI18N
        jMenuItemOpen.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleOpen(evt);
            }
        });
        jMenuFile.add(jMenuItemOpen);

        jMenuItemClose.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_W, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemClose.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/empty.png"))); // NOI18N
        jMenuItemClose.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.CloseMnemonic").charAt(0));
        jMenuItemClose.setText(bundle.getString("MainWindow.Close")); // NOI18N
        jMenuItemClose.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleClose(evt);
            }
        });
        jMenuFile.add(jMenuItemClose);

        jMenuItemCloseAll.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_W, java.awt.event.InputEvent.SHIFT_MASK | java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemCloseAll.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/empty.png"))); // NOI18N
        jMenuItemCloseAll.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.CloseAllMnemonic").charAt(0));
        jMenuItemCloseAll.setText(bundle.getString("MainWindow.CloseAll")); // NOI18N
        jMenuItemCloseAll.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleCloseAll(evt);
            }
        });
        jMenuFile.add(jMenuItemCloseAll);
        jMenuFile.add(jSeparatorFile1);

        jMenuItemPrint.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_P, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemPrint.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/print.png"))); // NOI18N
        jMenuItemPrint.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.PrintMnemonic").charAt(0));
        jMenuItemPrint.setText(bundle.getString("MainWindow.Print")); // NOI18N
        jMenuItemPrint.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemPrinthandleClose(evt);
            }
        });
        jMenuFile.add(jMenuItemPrint);
        jMenuFile.add(jSeparatorFile2);

        jMenuItemSave.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_S, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemSave.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/save.png"))); // NOI18N
        jMenuItemSave.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.SaveMnemonic").charAt(0));
        jMenuItemSave.setText(bundle.getString("MainWindow.Save")); // NOI18N
        jMenuItemSave.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleSave(evt);
            }
        });
        jMenuFile.add(jMenuItemSave);

        jMenuItemSaveAs.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/saveAs.png"))); // NOI18N
        jMenuItemSaveAs.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.SaveAsMnemonic").charAt(0));
        jMenuItemSaveAs.setText(bundle.getString("MainWindow.SaveAs")); // NOI18N
        jMenuItemSaveAs.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleSaveAs(evt);
            }
        });
        jMenuFile.add(jMenuItemSaveAs);

        jMenuItemSaveAll.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_S, java.awt.event.InputEvent.SHIFT_MASK | java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemSaveAll.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/saveAll.png"))); // NOI18N
        jMenuItemSaveAll.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.SaveAllMnemonic").charAt(0));
        jMenuItemSaveAll.setText(bundle.getString("MainWindow.SaveAll")); // NOI18N
        jMenuItemSaveAll.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleSaveAll(evt);
            }
        });
        jMenuFile.add(jMenuItemSaveAll);
        jMenuFile.add(jSeparatorFile3);

        jMenuItemExportPicture.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ExportPictureMnemonic").charAt(0));
        jMenuItemExportPicture.setText(bundle.getString("MainWindow.ExportPicture")); // NOI18N
        jMenuItemExportPicture.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemExportPictureActionPerformed(evt);
            }
        });
        jMenuFile.add(jMenuItemExportPicture);

        jMenuItemExportLatex.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_L, java.awt.event.InputEvent.SHIFT_MASK | java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemExportLatex.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.LatexExportMnemonic").charAt(0));
        jMenuItemExportLatex.setText(bundle.getString("MainWindow.LatexExport")); // NOI18N
        jMenuItemExportLatex.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemExportLatexActionPerformed(evt);
            }
        });
        jMenuFile.add(jMenuItemExportLatex);
        jMenuFile.add(jSeparatorFile4);

        jMenuRecentlyUsed.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/empty.png"))); // NOI18N
        jMenuRecentlyUsed.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.RecentlyUsedMnemonic").charAt(0));
        jMenuRecentlyUsed.setText(bundle.getString("MainWindow.RecentlyUsed")); // NOI18N
        jMenuFile.add(jMenuRecentlyUsed);
        jMenuFile.add(jSeparatorFile5);

        jMenuItemQuit.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_Q, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemQuit.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/empty.png"))); // NOI18N
        jMenuItemQuit.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.QuitMnemonic").charAt(0));
        jMenuItemQuit.setText(bundle.getString("MainWindow.Quit")); // NOI18N
        jMenuItemQuit.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleQuit(evt);
            }
        });
        jMenuFile.add(jMenuItemQuit);

        jMenuBarMain.add(jMenuFile);

        jMenuEdit.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.EditMnemonic").charAt(0));
        jMenuEdit.setText(bundle.getString("MainWindow.Edit")); // NOI18N

        jMenuItemUndo.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_Z, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemUndo.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/undo.png"))); // NOI18N
        jMenuItemUndo.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.UndoMnemonic").charAt(0));
        jMenuItemUndo.setText(bundle.getString("MainWindow.Undo")); // NOI18N
        jMenuItemUndo.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleUndo(evt);
            }
        });
        jMenuEdit.add(jMenuItemUndo);

        jMenuItemRedo.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_Y, java.awt.event.InputEvent.CTRL_MASK));
        jMenuItemRedo.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/redo.png"))); // NOI18N
        jMenuItemRedo.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.RedoMnemonic").charAt(0));
        jMenuItemRedo.setText(bundle.getString("MainWindow.Redo")); // NOI18N
        jMenuItemRedo.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                handleRedo(evt);
            }
        });
        jMenuEdit.add(jMenuItemRedo);
        jMenuEdit.add(jSeparatorEdit);

        jMenuItemPreferences.setIcon(new javax.swing.ImageIcon(getClass().getResource("/de/unisiegen/gtitool/ui/icon/small/preferences.png"))); // NOI18N
        jMenuItemPreferences.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.PreferencesMnemonic").charAt(0));
        jMenuItemPreferences.setText(bundle.getString("MainWindow.Preferences")); // NOI18N
        jMenuItemPreferences.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemPreferencesActionPerformed(evt);
            }
        });
        jMenuEdit.add(jMenuItemPreferences);

        jMenuBarMain.add(jMenuEdit);

        jMenuView.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ViewMnemonic").charAt(0));
        jMenuView.setText(bundle.getString("MainWindow.View")); // NOI18N

        jCheckBoxMenuItemConsole.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ConsoleMnemonic").charAt(0));
        jCheckBoxMenuItemConsole.setSelected(true);
        jCheckBoxMenuItemConsole.setText(bundle.getString("MainWindow.Console")); // NOI18N
        jCheckBoxMenuItemConsole.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jCheckBoxMenuItemConsoleItemStateChanged(evt);
            }
        });
        jMenuView.add(jCheckBoxMenuItemConsole);

        jCheckBoxMenuItemTable.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.TableMnemonic").charAt(0));
        jCheckBoxMenuItemTable.setSelected(true);
        jCheckBoxMenuItemTable.setText(bundle.getString("MainWindow.Table")); // NOI18N
        jCheckBoxMenuItemTable.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jCheckBoxMenuItemTableItemStateChanged(evt);
            }
        });
        jMenuView.add(jCheckBoxMenuItemTable);

        jCheckBoxMenuItemRegexInfo.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.RegexInfoMnemonic").charAt(0));
        jCheckBoxMenuItemRegexInfo.setSelected(true);
        jCheckBoxMenuItemRegexInfo.setText(bundle.getString("MainWindow.RegexInfo")); // NOI18N
        jCheckBoxMenuItemRegexInfo.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jCheckBoxMenuItemRegexInfoItemStateChanged(evt);
            }
        });
        jMenuView.add(jCheckBoxMenuItemRegexInfo);
        jMenuView.add(jSeparatorView);

        jCheckBoxMenuItemSecondView.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.SecondViewMnemonic").charAt(0));
        jCheckBoxMenuItemSecondView.setText(bundle.getString("MainWindow.SecondView")); // NOI18N
        jCheckBoxMenuItemSecondView.addItemListener(new java.awt.event.ItemListener() {
            public void itemStateChanged(java.awt.event.ItemEvent evt) {
                jCheckBoxMenuItemSecondViewItemStateChanged(evt);
            }
        });
        jMenuView.add(jCheckBoxMenuItemSecondView);

        jMenuBarMain.add(jMenuView);

        jMenuExecute.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ExecuteMnemonic").charAt(0));
        jMenuExecute.setText(bundle.getString("MainWindow.Execute")); // NOI18N

        jMenuItemEnterWord.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.EnterWordMnemonic").charAt(0));
        jMenuItemEnterWord.setText(bundle.getString("MainWindow.EnterWord")); // NOI18N
        jMenuItemEnterWord.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemEnterWordActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemEnterWord);

        jMenuItemEditMachine.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.EditMachineMnemonic").charAt(0));
        jMenuItemEditMachine.setText(bundle.getString("MainWindow.EditMachine")); // NOI18N
        jMenuItemEditMachine.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemEditMachineActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemEditMachine);
        jMenuExecute.add(jSeparatorExecute0);

        jMenuItemValidate.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ValidateMnemonic").charAt(0));
        jMenuItemValidate.setText(bundle.getString("MainWindow.Validate")); // NOI18N
        jMenuItemValidate.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemValidateActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemValidate);

        jMenuConvertTo.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ConvertToMnemonic").charAt(0));
        jMenuConvertTo.setText(bundle.getString("MainWindow.ConvertTo")); // NOI18N

        jMenuItemConvertToDFA.setText(bundle.getString("MainWindow.DFA")); // NOI18N
        jMenuItemConvertToDFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToDFAActionPerformed(evt);
            }
        });
        jMenuConvertTo.add(jMenuItemConvertToDFA);

        jMenuItemConvertToNFA.setText(bundle.getString("MainWindow.NFA")); // NOI18N
        jMenuItemConvertToNFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToNFActionPerformed(evt);
            }
        });
        jMenuConvertTo.add(jMenuItemConvertToNFA);

        jMenuItemConvertToNFACB.setText(bundle.getString("MainWindow.NFACB")); // NOI18N
        jMenuItemConvertToNFACB.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToNFACBctionPerformed(evt);
            }
        });
        jMenuConvertTo.add(jMenuItemConvertToNFACB);

        jMenuItemConvertToENFA.setText(bundle.getString("MainWindow.ENFA")); // NOI18N
        jMenuItemConvertToENFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToENFAActionPerformed(evt);
            }
        });
        jMenuConvertTo.add(jMenuItemConvertToENFA);

        jMenuItemConvertToPDA.setText(bundle.getString("MainWindow.PDA")); // NOI18N
        jMenuItemConvertToPDA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToPDAActionPerformed(evt);
            }
        });
        jMenuConvertTo.add(jMenuItemConvertToPDA);

        jMenuItemConvertToRegex.setText(bundle.getString("MainWindow.REGEX")); // NOI18N
        jMenuItemConvertToRegex.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToRegexActionPerformed(evt);
            }
        });
        jMenuConvertTo.add(jMenuItemConvertToRegex);

        jMenuExecute.add(jMenuConvertTo);

        jMenuConvertToComplete.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ConvertToCompleteMnemonic").charAt(0));
        jMenuConvertToComplete.setText(bundle.getString("MainWindow.ConvertToComplete")); // NOI18N

        jMenuItemConvertToCompleteDFA.setText(bundle.getString("MainWindow.DFA")); // NOI18N
        jMenuItemConvertToCompleteDFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToCompleteDFAActionPerformed(evt);
            }
        });
        jMenuConvertToComplete.add(jMenuItemConvertToCompleteDFA);

        jMenuItemConvertToCompleteNFA.setText(bundle.getString("MainWindow.NFA")); // NOI18N
        jMenuItemConvertToCompleteNFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToCompleteNFActionPerformed(evt);
            }
        });
        jMenuConvertToComplete.add(jMenuItemConvertToCompleteNFA);

        jMenuItemConvertToCompleteENFA.setText(bundle.getString("MainWindow.ENFA")); // NOI18N
        jMenuItemConvertToCompleteENFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToCompleteENFAActionPerformed(evt);
            }
        });
        jMenuConvertToComplete.add(jMenuItemConvertToCompleteENFA);

        jMenuItemConvertToCompletePDA.setText(bundle.getString("MainWindow.PDA")); // NOI18N
        jMenuItemConvertToCompletePDA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemConvertToCompletePDAActionPerformed(evt);
            }
        });
        jMenuConvertToComplete.add(jMenuItemConvertToCompletePDA);

        jMenuExecute.add(jMenuConvertToComplete);

        jMenuDraft.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.DraftForMnemonic").charAt(0));
        jMenuDraft.setText(bundle.getString("MainWindow.DraftFor")); // NOI18N

        jMenuItemDFA.setText(bundle.getString("MainWindow.DFA")); // NOI18N
        jMenuItemDFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemDFAhandleDraftFor(evt);
            }
        });
        jMenuDraft.add(jMenuItemDFA);

        jMenuItemNFA.setText(bundle.getString("MainWindow.NFA")); // NOI18N
        jMenuItemNFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemNFAhandleDraftFor(evt);
            }
        });
        jMenuDraft.add(jMenuItemNFA);

        jMenuItemENFA.setText(bundle.getString("MainWindow.ENFA")); // NOI18N
        jMenuItemENFA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemENFAhandleDraftFor(evt);
            }
        });
        jMenuDraft.add(jMenuItemENFA);

        jMenuItemPDA.setText(bundle.getString("MainWindow.PDA")); // NOI18N
        jMenuItemPDA.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemPDAhandleDraftFor(evt);
            }
        });
        jMenuDraft.add(jMenuItemPDA);

        jMenuItemRG.setText(bundle.getString("MainWindow.RG")); // NOI18N
        jMenuItemRG.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemRGhandleDraftFor(evt);
            }
        });
        jMenuDraft.add(jMenuItemRG);

        jMenuItemCFG.setText(bundle.getString("MainWindow.CFG")); // NOI18N
        jMenuItemCFG.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemCFGhandleDraftFor(evt);
            }
        });
        jMenuDraft.add(jMenuItemCFG);

        jMenuExecute.add(jMenuDraft);
        jMenuExecute.add(jSeparatorExecute1);

        jMenuItemAutoLayout.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.AutoLayoutMnemonic").charAt(0));
        jMenuItemAutoLayout.setText(bundle.getString("MainWindow.AutoLayout")); // NOI18N
        jMenuItemAutoLayout.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemAutoLayoutActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemAutoLayout);

        jMenuItemMinimize.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.MinimizeMnemonic").charAt(0));
        jMenuItemMinimize.setText(bundle.getString("MainWindow.Minimize")); // NOI18N
        jMenuItemMinimize.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemMinimizeActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemMinimize);

        jMenuItemToCoreSyntax.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ToCoreSyntaxMnemonic").charAt(0));
        jMenuItemToCoreSyntax.setText(bundle.getString("MainWindow.ToCoreSyntax")); // NOI18N
        jMenuItemToCoreSyntax.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemToCoreSyntaxActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemToCoreSyntax);

        jMenuItemEliminateLeftRecursion.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.EliminateLeftRecursionMnemonic").charAt(0));
        jMenuItemEliminateLeftRecursion.setText(bundle.getString("MainWindow.EliminateLeftRecursion")); // NOI18N
        jMenuItemEliminateLeftRecursion.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemEliminateLeftRecursionActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemEliminateLeftRecursion);

        jMenuItemEliminateEntityProductions.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.EliminateEntityProductionsMnemonic").charAt(0));
        jMenuItemEliminateEntityProductions.setText(bundle.getString("MainWindow.EliminateEntityProductions")); // NOI18N
        jMenuItemEliminateEntityProductions.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemEliminateEntityProductionsActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemEliminateEntityProductions);

        jMenuItemEliminateEpsilonProductions.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.EliminateEpsilonProductionsMnemonic").charAt(0));
        jMenuItemEliminateEpsilonProductions.setText(bundle.getString("MainWindow.EliminateEpsilonProductions")); // NOI18N
        jMenuItemEliminateEpsilonProductions.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemEliminateEpsilonProductionsActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemEliminateEpsilonProductions);

        jMenuItemLeftfactoring.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.LeftFactoringMnemonic").charAt(0));
        jMenuItemLeftfactoring.setText(bundle.getString("MainWindow.LeftFactoring")); // NOI18N
        jMenuItemLeftfactoring.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemLeftfactoringActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemLeftfactoring);

        jMenuItemCreateRDP.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.CreateRDPMnemonic").charAt(0));
        jMenuItemCreateRDP.setText(bundle.getString("MainWindow.CreateRDP")); // NOI18N
        jMenuItemCreateRDP.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemCreateRDPActionPerformed(evt);
            }
        });
        jMenuExecute.add(jMenuItemCreateRDP);

        jMenuBarMain.add(jMenuExecute);

        jMenuExtras.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ExtrasMnemonic").charAt(0));
        jMenuExtras.setText(bundle.getString("MainWindow.Extras")); // NOI18N

        jMenuItemExchange.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.Exchange").charAt(0));
        jMenuItemExchange.setText(bundle.getString("MainWindow.Exchange")); // NOI18N
        jMenuItemExchange.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemExchangeActionPerformed(evt);
            }
        });
        jMenuExtras.add(jMenuItemExchange);
        jMenuExtras.add(jSeparatorExtras);

        jMenuItemHistory.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.HistoryMnemonic").charAt(0));
        jMenuItemHistory.setText(bundle.getString("MainWindow.History")); // NOI18N
        jMenuItemHistory.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemHistoryActionPerformed(evt);
            }
        });
        jMenuExtras.add(jMenuItemHistory);

        jMenuItemReachableStates.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ReachableStatesMnemonic").charAt(0));
        jMenuItemReachableStates.setText(bundle.getString("MainWindow.ReachableStates")); // NOI18N
        jMenuItemReachableStates.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemReachableStatesActionPerformed(evt);
            }
        });
        jMenuExtras.add(jMenuItemReachableStates);

        jMenuItemReorderStateNames.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.ReorderStateNamesMnemonic").charAt(0));
        jMenuItemReorderStateNames.setText(bundle.getString("MainWindow.ReorderStateNames")); // NOI18N
        jMenuItemReorderStateNames.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemReorderStateNamesActionPerformed(evt);
            }
        });
        jMenuExtras.add(jMenuItemReorderStateNames);

        jMenuBarMain.add(jMenuExtras);

        jMenuHelp.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.HelpMnemonic").charAt(0));
        jMenuHelp.setText(bundle.getString("MainWindow.Help")); // NOI18N

        jMenuItemAbout.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_F1, 0));
        jMenuItemAbout.setMnemonic(java.util.ResourceBundle.getBundle("de/unisiegen/gtitool/ui/i18n/messages").getString("MainWindow.AboutMnemonic").charAt(0));
        jMenuItemAbout.setText(bundle.getString("MainWindow.About")); // NOI18N
        jMenuItemAbout.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                jMenuItemAboutActionPerformed(evt);
            }
        });
        jMenuHelp.add(jMenuItemAbout);

        jMenuBarMain.add(jMenuHelp);

        setJMenuBar(jMenuBarMain);

        setBounds(0, 0, 762, 462);
    }// </editor-fold>//GEN-END:initComponents

    private void jMenuItemReorderStateNamesActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemReorderStateNamesActionPerformed
        this.logic.handleReorderStateNames();
    }//GEN-LAST:event_jMenuItemReorderStateNamesActionPerformed

    private void jMenuItemConvertToCompletePDAActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToCompletePDAActionPerformed
         this.logic.handleConvertToComplete(MachineType.PDA, false);
    }//GEN-LAST:event_jMenuItemConvertToCompletePDAActionPerformed

    private void jMenuItemConvertToCompleteENFAActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToCompleteENFAActionPerformed
         this.logic.handleConvertToComplete(MachineType.ENFA, false);
    }//GEN-LAST:event_jMenuItemConvertToCompleteENFAActionPerformed

    private void jMenuItemConvertToCompleteNFActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToCompleteNFActionPerformed
         this.logic.handleConvertToComplete(MachineType.NFA, false);
    }//GEN-LAST:event_jMenuItemConvertToCompleteNFActionPerformed

    private void jMenuItemConvertToCompleteDFAActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToCompleteDFAActionPerformed
         this.logic.handleConvertToComplete(MachineType.DFA, false);
    }//GEN-LAST:event_jMenuItemConvertToCompleteDFAActionPerformed

    private void jGTIToolBarToggleButtonEnterWordItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jGTIToolBarToggleButtonEnterWordItemStateChanged
        this.logic.handleEnterWordToggleButton();
    }//GEN-LAST:event_jGTIToolBarToggleButtonEnterWordItemStateChanged

    private void jMenuItemReachableStatesActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemReachableStatesActionPerformed
        this.logic.handleReachableStates();
    }//GEN-LAST:event_jMenuItemReachableStatesActionPerformed

    private void jGTIEditorPanelTabbedPaneRightStateChanged(javax.swing.event.ChangeEvent evt) {//GEN-FIRST:event_jGTIEditorPanelTabbedPaneRightStateChanged
        this.logic.handleTabbedPaneStateChanged(evt);
    }//GEN-LAST:event_jGTIEditorPanelTabbedPaneRightStateChanged

    private void jGTIEditorPanelTabbedPaneRightMouseReleased(java.awt.event.MouseEvent evt) {//GEN-FIRST:event_jGTIEditorPanelTabbedPaneRightMouseReleased
        this.logic.handleTabbedPaneMouseReleased(evt);
    }//GEN-LAST:event_jGTIEditorPanelTabbedPaneRightMouseReleased

    private void jCheckBoxMenuItemSecondViewItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jCheckBoxMenuItemSecondViewItemStateChanged
        this.logic.handleSecondViewStateChanged();
    }//GEN-LAST:event_jCheckBoxMenuItemSecondViewItemStateChanged

    private void jMenuItemMinimizeActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemMinimizeActionPerformed
        this.logic.handleMinimize();
    }//GEN-LAST:event_jMenuItemMinimizeActionPerformed

    private void jMenuItemAutoLayoutActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemAutoLayoutActionPerformed
        this.logic.doAutoLayout();
    }//GEN-LAST:event_jMenuItemAutoLayoutActionPerformed

    private void jMenuItemConvertToPDAActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToPDAActionPerformed
        this.logic.handleConvertTo(MachineType.PDA, false);
    }//GEN-LAST:event_jMenuItemConvertToPDAActionPerformed

    private void jMenuItemConvertToENFAActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToENFAActionPerformed
        this.logic.handleConvertTo(MachineType.ENFA, false);
    }//GEN-LAST:event_jMenuItemConvertToENFAActionPerformed

    private void jMenuItemConvertToNFActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToNFActionPerformed
        this.logic.handleConvertTo(MachineType.NFA, false);
    }//GEN-LAST:event_jMenuItemConvertToNFActionPerformed

    private void jMenuItemConvertToDFAActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToDFAActionPerformed
         this.logic.handleConvertTo(MachineType.DFA, false);
    }//GEN-LAST:event_jMenuItemConvertToDFAActionPerformed

    private void jGTIEditorPanelTabbedPaneLeftMouseReleased(java.awt.event.MouseEvent evt) {//GEN-FIRST:event_jGTIEditorPanelTabbedPaneLeftMouseReleased
        this.logic.handleTabbedPaneMouseReleased(evt);
    }//GEN-LAST:event_jGTIEditorPanelTabbedPaneLeftMouseReleased

    private void jMenuItemHistoryActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemHistoryActionPerformed
        this.logic.handleHistory();
    }//GEN-LAST:event_jMenuItemHistoryActionPerformed

    private void jMenuItemCFGhandleDraftFor(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemCFGhandleDraftFor
        this.logic.handleDraftFor(GrammarType.CFG);
    }//GEN-LAST:event_jMenuItemCFGhandleDraftFor

    private void jMenuItemRGhandleDraftFor(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemRGhandleDraftFor
        this.logic.handleDraftFor(GrammarType.RG);
    }//GEN-LAST:event_jMenuItemRGhandleDraftFor

    private void jGTIToolBarButtonAddProductionActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonAddProductionActionPerformed
        this.logic.handleAddProduction();
    }//GEN-LAST:event_jGTIToolBarButtonAddProductionActionPerformed

    private void jGTIEditorPanelTabbedPaneLeftStateChanged(javax.swing.event.ChangeEvent evt) {//GEN-FIRST:event_jGTIEditorPanelTabbedPaneLeftStateChanged
        this.logic.handleTabbedPaneStateChanged(evt);
    }//GEN-LAST:event_jGTIEditorPanelTabbedPaneLeftStateChanged

    private void jGTIToolBarToggleButtonFinalStateItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jGTIToolBarToggleButtonFinalStateItemStateChanged
        this.logic.handleToolbarEnd(this.jGTIToolBarToggleButtonFinalState.isSelected());
    }//GEN-LAST:event_jGTIToolBarToggleButtonFinalStateItemStateChanged

    private void jGTIToolBarToggleButtonStartStateItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jGTIToolBarToggleButtonStartStateItemStateChanged
        this.logic.handleToolbarStart(this.jGTIToolBarToggleButtonStartState.isSelected());
    }//GEN-LAST:event_jGTIToolBarToggleButtonStartStateItemStateChanged

    private void jGTIToolBarToggleButtonAddTransitionItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jGTIToolBarToggleButtonAddTransitionItemStateChanged
        this.logic.handleToolbarTransition(this.jGTIToolBarToggleButtonAddTransition.isSelected());
    }//GEN-LAST:event_jGTIToolBarToggleButtonAddTransitionItemStateChanged

    private void jGTIToolBarToggleButtonAutoStepItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jGTIToolBarToggleButtonAutoStepItemStateChanged
        this.logic.handleWordAutoStep(evt);
    }//GEN-LAST:event_jGTIToolBarToggleButtonAutoStepItemStateChanged

    private void jGTIToolBarToggleButtonAddStateItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jGTIToolBarToggleButtonAddStateItemStateChanged
        this.logic.handleToolbarAddState(this.jGTIToolBarToggleButtonAddState.isSelected());
    }//GEN-LAST:event_jGTIToolBarToggleButtonAddStateItemStateChanged

    private void jGTIToolBarToggleButtonMouseItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jGTIToolBarToggleButtonMouseItemStateChanged
        this.logic.handleToolbarMouse(this.jGTIToolBarToggleButtonMouse.isSelected());
    }//GEN-LAST:event_jGTIToolBarToggleButtonMouseItemStateChanged

    private void jGTIToolBarButtonStopActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonStopActionPerformed
        this.logic.handleWordStop();
    }//GEN-LAST:event_jGTIToolBarButtonStopActionPerformed

    private void jGTIToolBarButtonNextStepActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonNextStepActionPerformed
        this.logic.handleWordNextStep();
    }//GEN-LAST:event_jGTIToolBarButtonNextStepActionPerformed

    private void jGTIToolBarButtonPreviousStepActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonPreviousStepActionPerformed
        this.logic.handleWordPreviousStep();
}//GEN-LAST:event_jGTIToolBarButtonPreviousStepActionPerformed

    private void jGTIToolBarButtonStartActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonStartActionPerformed
        this.logic.handleWordStart();
    }//GEN-LAST:event_jGTIToolBarButtonStartActionPerformed

    private void jGTIToolBarButtonEditDocumentActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonEditDocumentActionPerformed
        this.logic.handleEditDocument();
    }//GEN-LAST:event_jGTIToolBarButtonEditDocumentActionPerformed

    private void jGTIToolBarButtonRedoActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonRedoActionPerformed
        this.logic.handleRedo();
    }//GEN-LAST:event_jGTIToolBarButtonRedoActionPerformed

    private void jGTIToolBarButtonUndoActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonUndoActionPerformed
        this.logic.handleUndo();
    }//GEN-LAST:event_jGTIToolBarButtonUndoActionPerformed

    private void jGTIToolBarButtonSaveActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonSaveActionPerformed
        this.logic.handleSave();
    }//GEN-LAST:event_jGTIToolBarButtonSaveActionPerformed

    private void jGTIToolBarButtonSaveAsActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonSaveAsActionPerformed
        this.logic.handleSaveAs();
    }//GEN-LAST:event_jGTIToolBarButtonSaveAsActionPerformed

    private void jGTIToolBarButtonOpenActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonOpenActionPerformed
        this.logic.handleOpen();
    }//GEN-LAST:event_jGTIToolBarButtonOpenActionPerformed

    private void jGTIToolBarButtonNewActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jGTIToolBarButtonNewActionPerformed
        this.logic.handleNew();
    }//GEN-LAST:event_jGTIToolBarButtonNewActionPerformed

    private void jMenuItemExchangeActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemExchangeActionPerformed
        this.logic.handleExchange();
    }//GEN-LAST:event_jMenuItemExchangeActionPerformed

    private void jMenuItemDFAhandleDraftFor(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemDFAhandleDraftFor
        this.logic.handleDraftFor(MachineType.DFA);
    }//GEN-LAST:event_jMenuItemDFAhandleDraftFor

    private void jMenuItemNFAhandleDraftFor(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemNFAhandleDraftFor
        this.logic.handleDraftFor(MachineType.NFA);
    }//GEN-LAST:event_jMenuItemNFAhandleDraftFor

    private void jMenuItemPDAhandleDraftFor(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemPDAhandleDraftFor
        this.logic.handleDraftFor(MachineType.PDA);
    }//GEN-LAST:event_jMenuItemPDAhandleDraftFor

    private void jMenuItemENFAhandleDraftFor(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemENFAhandleDraftFor
        this.logic.handleDraftFor(MachineType.ENFA);
    }//GEN-LAST:event_jMenuItemENFAhandleDraftFor

    private void handleCloseAll(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleCloseAll
        this.logic.handleCloseAll();
    }//GEN-LAST:event_handleCloseAll

    private void handleSaveAll(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleSaveAll
        this.logic.handleSaveAll();
    }//GEN-LAST:event_handleSaveAll

    private void handleRedo(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleRedo
        this.logic.handleRedo();
    }//GEN-LAST:event_handleRedo

    private void handleUndo(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleUndo
        this.logic.handleUndo();
    }//GEN-LAST:event_handleUndo

    private void jMenuItemEditMachineActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemEditMachineActionPerformed
        this.logic.handleEditMachine();
    }//GEN-LAST:event_jMenuItemEditMachineActionPerformed

    private void handleClose(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleClose
        this.logic.handleClose();
    }//GEN-LAST:event_handleClose

    private void jCheckBoxMenuItemTableItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jCheckBoxMenuItemTableItemStateChanged
        this.logic.handleTableStateChanged();
    }//GEN-LAST:event_jCheckBoxMenuItemTableItemStateChanged

    private void jCheckBoxMenuItemConsoleItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jCheckBoxMenuItemConsoleItemStateChanged
        this.logic.handleConsoleStateChanged();
    }//GEN-LAST:event_jCheckBoxMenuItemConsoleItemStateChanged

    private void handleSaveAs(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleSaveAs
        this.logic.handleSaveAs();
    }//GEN-LAST:event_handleSaveAs

    private void handleSave(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleSave
        this.logic.handleSave();
    }//GEN-LAST:event_handleSave

    private void jMenuItemValidateActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemValidateActionPerformed
        this.logic.handleValidate();
    }//GEN-LAST:event_jMenuItemValidateActionPerformed

    private void jMenuItemEnterWordActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemEnterWordActionPerformed
        this.logic.handleEnterWord();
    }//GEN-LAST:event_jMenuItemEnterWordActionPerformed

    private void handleNew(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleNew
        this.logic.handleNew();
    }//GEN-LAST:event_handleNew

    private void formWindowClosing(java.awt.event.WindowEvent evt) {//GEN-FIRST:event_formWindowClosing
        this.logic.handleQuit();
    }//GEN-LAST:event_formWindowClosing

    private void jMenuItemAboutActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemAboutActionPerformed
        this.logic.handleAbout();
    }//GEN-LAST:event_jMenuItemAboutActionPerformed

    private void jMenuItemPreferencesActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemPreferencesActionPerformed
        this.logic.handlePreferences();
    }//GEN-LAST:event_jMenuItemPreferencesActionPerformed

    private void handleQuit(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleQuit
        this.logic.handleQuit();
    }//GEN-LAST:event_handleQuit

    private void handleOpen(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_handleOpen
        this.logic.handleOpen();
    }//GEN-LAST:event_handleOpen

private void jMenuItemPrinthandleClose(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemPrinthandleClose
  this.logic.handlePrint();
}//GEN-LAST:event_jMenuItemPrinthandleClose

private void jMenuItemExportPictureActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemExportPictureActionPerformed
  this.logic.handleExportPicture();
}//GEN-LAST:event_jMenuItemExportPictureActionPerformed

private void jMenuItemExportLatexActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemExportLatexActionPerformed
  this.logic.handleToLatex();
}//GEN-LAST:event_jMenuItemExportLatexActionPerformed

private void jMenuItemToCoreSyntaxActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemToCoreSyntaxActionPerformed
    this.logic.handleToCoreSyntax();
}//GEN-LAST:event_jMenuItemToCoreSyntaxActionPerformed

private void jCheckBoxMenuItemRegexInfoItemStateChanged(java.awt.event.ItemEvent evt) {//GEN-FIRST:event_jCheckBoxMenuItemRegexInfoItemStateChanged
    this.logic.handleRegexInfoChanged(this.jCheckBoxMenuItemRegexInfo.isSelected());
}//GEN-LAST:event_jCheckBoxMenuItemRegexInfoItemStateChanged

private void jMenuItemEliminateLeftRecursionActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemEliminateLeftRecursionActionPerformed
    this.logic.handleEliminateLeftRecursion();
}//GEN-LAST:event_jMenuItemEliminateLeftRecursionActionPerformed

private void jMenuItemLeftfactoringActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemLeftfactoringActionPerformed
    this.logic.handleLeftFactoring();
}//GEN-LAST:event_jMenuItemLeftfactoringActionPerformed

private void jMenuItemConvertToRegexActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToRegexActionPerformed
    this.logic.handleConvertTo ( RegexType.REGEX, false );
}//GEN-LAST:event_jMenuItemConvertToRegexActionPerformed

private void jMenuItemCreateRDPActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemCreateRDPActionPerformed
    this.logic.handleCreateRDP();
}//GEN-LAST:event_jMenuItemCreateRDPActionPerformed

private void jMenuItemEliminateEntityProductionsActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemEliminateEntityProductionsActionPerformed
    this.logic.handleEliminateEntityProductions();
}//GEN-LAST:event_jMenuItemEliminateEntityProductionsActionPerformed

private void jMenuItemEliminateEpsilonProductionsActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemEliminateEpsilonProductionsActionPerformed
    this.logic.handleEliminateEpsilonProductions();
}//GEN-LAST:event_jMenuItemEliminateEpsilonProductionsActionPerformed

private void jMenuItemConvertToNFACBctionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItemConvertToNFACBctionPerformed
    this.logic.handleConvertTo ( MachineType.NFA, true );
}//GEN-LAST:event_jMenuItemConvertToNFACBctionPerformed
  
    // Variables declaration - do not modify//GEN-BEGIN:variables
    private javax.swing.JCheckBoxMenuItem jCheckBoxMenuItemConsole;
    private javax.swing.JCheckBoxMenuItem jCheckBoxMenuItemRegexInfo;
    private javax.swing.JCheckBoxMenuItem jCheckBoxMenuItemSecondView;
    private javax.swing.JCheckBoxMenuItem jCheckBoxMenuItemTable;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIEditorPanelTabbedPane jGTIEditorPanelTabbedPaneLeft;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIEditorPanelTabbedPane jGTIEditorPanelTabbedPaneRight;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIMainSplitPane jGTIMainSplitPane;
    private de.unisiegen.gtitool.ui.swing.JGTIPanel jGTIPanelLeftInner;
    private de.unisiegen.gtitool.ui.swing.JGTIPanel jGTIPanelLeftOuter;
    private de.unisiegen.gtitool.ui.swing.JGTIPanel jGTIPanelRightInner;
    private de.unisiegen.gtitool.ui.swing.JGTIPanel jGTIPanelRightOuter;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonAddProduction;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonEditDocument;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonNew;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonNextStep;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonOpen;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonPreviousStep;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonRedo;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonSave;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonSaveAs;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonStart;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonStop;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarButton jGTIToolBarButtonUndo;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton jGTIToolBarToggleButtonAddState;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton jGTIToolBarToggleButtonAddTransition;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton jGTIToolBarToggleButtonAutoStep;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton jGTIToolBarToggleButtonEnterWord;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton jGTIToolBarToggleButtonFinalState;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton jGTIToolBarToggleButtonMouse;
    private de.unisiegen.gtitool.ui.swing.specialized.JGTIToolBarToggleButton jGTIToolBarToggleButtonStartState;
    private javax.swing.JMenuBar jMenuBarMain;
    private javax.swing.JMenu jMenuConvertTo;
    private javax.swing.JMenu jMenuConvertToComplete;
    private javax.swing.JMenu jMenuDraft;
    private javax.swing.JMenu jMenuEdit;
    private javax.swing.JMenu jMenuExecute;
    private javax.swing.JMenu jMenuExtras;
    private javax.swing.JMenu jMenuFile;
    private javax.swing.JMenu jMenuHelp;
    private javax.swing.JMenuItem jMenuItemAbout;
    private javax.swing.JMenuItem jMenuItemAutoLayout;
    private javax.swing.JMenuItem jMenuItemCFG;
    private javax.swing.JMenuItem jMenuItemClose;
    private javax.swing.JMenuItem jMenuItemCloseAll;
    private javax.swing.JMenuItem jMenuItemConvertToCompleteDFA;
    private javax.swing.JMenuItem jMenuItemConvertToCompleteENFA;
    private javax.swing.JMenuItem jMenuItemConvertToCompleteNFA;
    private javax.swing.JMenuItem jMenuItemConvertToCompletePDA;
    private javax.swing.JMenuItem jMenuItemConvertToDFA;
    private javax.swing.JMenuItem jMenuItemConvertToENFA;
    private javax.swing.JMenuItem jMenuItemConvertToNFA;
    private javax.swing.JMenuItem jMenuItemConvertToNFACB;
    private javax.swing.JMenuItem jMenuItemConvertToPDA;
    private javax.swing.JMenuItem jMenuItemConvertToRegex;
    private javax.swing.JMenuItem jMenuItemCreateRDP;
    private javax.swing.JMenuItem jMenuItemDFA;
    private javax.swing.JMenuItem jMenuItemENFA;
    private javax.swing.JMenuItem jMenuItemEditMachine;
    private javax.swing.JMenuItem jMenuItemEliminateEntityProductions;
    private javax.swing.JMenuItem jMenuItemEliminateEpsilonProductions;
    private javax.swing.JMenuItem jMenuItemEliminateLeftRecursion;
    private javax.swing.JMenuItem jMenuItemEnterWord;
    private javax.swing.JMenuItem jMenuItemExchange;
    private javax.swing.JMenuItem jMenuItemExportLatex;
    private javax.swing.JMenuItem jMenuItemExportPicture;
    private javax.swing.JMenuItem jMenuItemHistory;
    private javax.swing.JMenuItem jMenuItemLeftfactoring;
    private javax.swing.JMenuItem jMenuItemMinimize;
    private javax.swing.JMenuItem jMenuItemNFA;
    private javax.swing.JMenuItem jMenuItemNew;
    private javax.swing.JMenuItem jMenuItemOpen;
    private javax.swing.JMenuItem jMenuItemPDA;
    private javax.swing.JMenuItem jMenuItemPreferences;
    private javax.swing.JMenuItem jMenuItemPrint;
    private javax.swing.JMenuItem jMenuItemQuit;
    private javax.swing.JMenuItem jMenuItemRG;
    private javax.swing.JMenuItem jMenuItemReachableStates;
    private javax.swing.JMenuItem jMenuItemRedo;
    private javax.swing.JMenuItem jMenuItemReorderStateNames;
    private javax.swing.JMenuItem jMenuItemSave;
    private javax.swing.JMenuItem jMenuItemSaveAll;
    private javax.swing.JMenuItem jMenuItemSaveAs;
    private javax.swing.JMenuItem jMenuItemToCoreSyntax;
    private javax.swing.JMenuItem jMenuItemUndo;
    private javax.swing.JMenuItem jMenuItemValidate;
    private javax.swing.JMenu jMenuRecentlyUsed;
    private javax.swing.JMenu jMenuView;
    private javax.swing.JSeparator jSeparatorEdit;
    private javax.swing.JSeparator jSeparatorEditNavigation;
    private javax.swing.JSeparator jSeparatorExecute0;
    private javax.swing.JSeparator jSeparatorExecute1;
    private javax.swing.JSeparator jSeparatorExtras;
    private javax.swing.JSeparator jSeparatorFile1;
    private javax.swing.JSeparator jSeparatorFile2;
    private javax.swing.JSeparator jSeparatorFile3;
    private javax.swing.JSeparator jSeparatorFile4;
    private javax.swing.JSeparator jSeparatorFile5;
    private javax.swing.JSeparator jSeparatorFileEdit;
    private javax.swing.JSeparator jSeparatorNavigation;
    private javax.swing.JSeparator jSeparatorView;
    private javax.swing.JToolBar jToolBarEdit;
    private javax.swing.JToolBar jToolBarFile;
    private javax.swing.JToolBar jToolBarMain;
    private javax.swing.JToolBar jToolBarNavigation;
    private javax.swing.ButtonGroup modeSettingsGroup;
    private javax.swing.ButtonGroup toolbarButton;
    // End of variables declaration//GEN-END:variables

}