addState(aut.getPosition((Integer)stateIt.next()));
currentStateNum = (Integer)stateIt.next(); currentState = addState(aut.getPosition(currentStateNum));   stateMap.put(currentStateNum, currentState); }  stateIt = stateMap.keySet().iterator();  while (stateIt.hasNext()) { currentStateNum = (Integer)stateIt.next(); currTransList = aut.getStateTransitions(currentStateNum);  if (currTransList!=null) {  transIt = currTransList.listIterator();   currentState = stateMap.get(currentStateNum);  while (transIt.hasNext()) { currTrans = transIt.next(); destState = stateMap.get(currTrans.getEndState()); transChars = null; transChars = new Vector<Character>(); transChars.add(currTrans.getChar()); currentState.insertTransition(destState, 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();    }