public void tokenizeLines() { if(!jEdit.getBooleanProperty("buffer.tokenize")) return;  tokenizeLines(0,getDefaultRootElement().getElementCount()); }
public void tokenizeLines() {}
	public void tokenizeLines()	{		if(!jEdit.getBooleanProperty("buffer.tokenize"))			return;		tokenizeLines(0,getDefaultRootElement().getElementCount());	}