protected void drawTransitions(Graphics g) {
		java.awt.Graphics2D g2 = (java.awt.Graphics2D) g;
		super.drawTransitions(g);
		Iterator it = selectedTransitions.iterator();
		while (it.hasNext()) {
			Transition t = (Transition) it.next();
			try {
				arrowForTransition(t).drawHighlight(g2);
			} catch (NullPointerException e) {
				// Then this transition isn't in here.
			}
		}
	}