if(tokenMarker == null)
if(tokenMarker != null)
	public void reload()	{		// This is so that `dirty' isn't set		init = true;		load();		loadMarkers();				// Reset token marker		if(tokenMarker == null)		{			tokenMarker.deleteLines(0,getDefaultRootElement()				.getElementCount());		}		tokenizeLines();		// The anchor gets f*cked across reloads, so clear it		anchor = null;		init = false;	}