public synchronized void mapPaint(Graphics g, PathState state) {
		int nElements = path.size();
		for (int i = 0; i < nElements; i++) {
			PathElement element = path.get(i);
			element.paint(g, state);
		}
		FINAL_PATH_ELEMENT.paint(g, state);
	}