String line = getText(start,lineElement .getEndOffset() - start);
getText(start,lineElement.getEndOffset() - start,line);
	public void setTokenMarker(JSTokenMarker tokenMarker)	{		this.tokenMarker = tokenMarker;		if(tokenMarker == null)			return;		try		{			Element map = getDefaultRootElement();			int lines = map.getElementCount();			for(int i = 0; i < lines; i++)			{				Element lineElement = map.getElement(i);				int start = lineElement.getStartOffset();				String line = getText(start,lineElement					.getEndOffset() - start);				// a void version of markTokens() would be nice				tokenMarker.markTokens(line,i);			}		}		catch(BadLocationException bl)		{			bl.printStackTrace();		}	}