if("on".equals(jEdit.props.getProperty("buffer.syntax"))) this.tokenMarker = tokenMarker;
this.tokenMarker = tokenMarker;
	public void setTokenMarker(JSTokenMarker tokenMarker)	{		if("on".equals(jEdit.props.getProperty("buffer.syntax")))			this.tokenMarker = tokenMarker;	}