protected void drawState(Graphics g, State state) {
		statedrawer.drawState(g, getAutomaton(), state);
		if (drawLabels) {
			statedrawer.drawStateLabel(g, state, state.getPoint(),
					StateDrawer.STATE_COLOR);
		}
	}