public void drawState(Graphics g, State state) {
		if (selected.contains(state)) {
			getStateDrawer().drawState(g, getAutomaton(), state,
					state.getPoint(), SELECTED_COLOR);
			if (doesDrawStateLabels())
				getStateDrawer().drawStateLabel(g, state, state.getPoint(),
						StateDrawer.STATE_COLOR);
		} else
			super.drawState(g, state);
	}