JOptionPane.showMessageDialog(autWin, java.util.ResourceBundle.getBundle("global").getString("nameAlreadyInList"));
JOptionPane.showMessageDialog(autWin, "The list already contains a automaton with this name.");
    public void insertAut(FSA aut) {                if (listModel.contains(aut.getName())) {            JOptionPane.showMessageDialog(autWin, java.util.ResourceBundle.getBundle("global").getString("nameAlreadyInList"));            return;        }                listData.add(aut);        listModel.addElement(aut.getName()); // das ein Name vorhanden ist nehmen wir an        if (listModel.getSize()>1)            delAut.setEnabled(true);        autList.setSelectedIndex(listModel.getSize()-1);    }