if (Recorder.record) Recorder.record("setTool", current);
	public void setTool(int tool) {		if (tool==current || tool<0 || tool>=NUM_TOOLS) {			System.out.println("Dodgy tool number "+tool);			return;		}		if ((FIRST_SELECT_TOOL <= tool) && (LAST_SELECT_TOOL >= tool)) {			IJ.getInstance().getImagePlus().killRoi();		}		current = tool;		down[current] = true;		down[previous] = false;		Graphics g = this.getGraphics();		drawButton(g, previous);		drawButton(g, current);		g.dispose();		showMessage(current);		previous = current;		if (Recorder.record)			Recorder.record("setTool", current);		if (IJ.isMacOSX())			repaint();	}