public void drawBackground(Graphics g, State state, Point point, Color color) {
		g.setColor(color);
		if(state.isSelected()) g.setColor(new Color(100, 200, 200));
//		if (state.getInternalName() == null)
			g.fillOval(point.x - radius, point.y - radius, 2 * radius,
					2 * radius);
//		else {
//			g.fillRect(point.x - radius, point.y - radius, 2 * radius,
//					2 * radius);
//		}
	}