Integer currentStateNum; JState currentState, destState; LinkedHashMap<Integer,JState> stateMap = new LinkedHashMap<Integer,JState>(); LinkedList<Transition> currTransList; ListIterator<Transition> transIt; Transition currTrans; Vector<Character> transChars;
    public void insertAut(FSA aut) {	Iterator stateIt;		// Zeichenfenster zurcksetzen	this.removeAll();	markedState = null;	stateIt = aut.getStates().iterator();	while (stateIt.hasNext()) {	    addState(aut.getPosition((Integer)stateIt.next()));	}	repaint();    }