JOptionPane.showMessageDialog(this, java.util.ResourceBundle.getBundle("global").getString("isDFA"));
JOptionPane.showMessageDialog(this, "This automaton is already a DFA");
    public void determ() {        FSA myAut;        FSA result;                /* gui infos synchr. */        myAut = side.getCurrentAut();                // nichts zu tun        if (myAut.isDeterministic()) {            JOptionPane.showMessageDialog(this, java.util.ResourceBundle.getBundle("global").getString("isDFA"));            return;        }                result = FSAAlgo.determ(myAut);                result.setName(myAut.getName()+"_dfa");                side.insertAut( result );    }