JState curr; Object[] states;
JState curr; Object[] states;    setLayer(which, STATE_LAYER+1); states = getComponentsInLayer(STATE_LAYER);    for (int i = 0 ; i < states.length ; i++ ) { curr = (JState)states[i]; curr.removeTransTo(which); if (curr.getNumber()>which.getNumber()) curr.setNumber(curr.getNumber()-1); }
    public void removeState(JState which) {	JState curr;	Object[] states;	// um nur die Zustnde ausser diesem zu erwischen verschiebe ihn kurzzeitig in	// einen anderen Layer	setLayer(which, STATE_LAYER+1);	states = getComponentsInLayer(STATE_LAYER);	// jeder andere Zustand entfernt nun seine ausgehenden Transitionen zu diesem	// Zustand	for (int i = 0 ; i < states.length ; i++ ) {	    curr = (JState)states[i];	    curr.removeTransTo(which);	    if (curr.getNumber()>which.getNumber()) curr.setNumber(curr.getNumber()-1);	}	if (markedState==which)	    markedState = null;	remove(which);	which = null;	repaint();    }