{ if (curZoomLevel != level) { zoom(level); curZoomLevel = level; } }
{ if (curZoomLevel != level) { curZoomLevel = level; zoom(level); } }
	public void setZoomLevel(double level)	{		if (curZoomLevel != level) {			zoom(level);			curZoomLevel = level;		}	}