public void setDoubleBufferingEnabled(boolean buffer) {  }
public void setDoubleBufferingEnabled(boolean buffer) { doubleBufferingEnabled = buffer; }
	public void setDoubleBufferingEnabled(boolean buffer) {		// TODO	} // setDoubleBufferingEnabled()