System.out.println("Drawing button "+tool);
	private void drawButton(Graphics g, int tool) {		System.out.println("Drawing button "+tool);		int i=0;		int offset = 0;		while ((i < BUTTON_SEQUENCE.length) && (BUTTON_SEQUENCE[i] != tool)) {			offset += getButtonWidth(BUTTON_SEQUENCE[i]);			i++;		}		drawButton(g, tool, offset);	}