Enumeration enum = tokenMarker.markTokens(line,
Token tokens = tokenMarker.markTokens(line,
	public void drawLine(int lineIndex, Graphics g, int x, int y)	{		Buffer buffer = (Buffer)getDocument();		FontMetrics metrics = g.getFontMetrics();		Hashtable colors = buffer.getColors();		JSTokenMarker tokenMarker = buffer.getTokenMarker();		try		{			Element lineElement = getElement().getElement(				lineIndex);			int start = lineElement.getStartOffset();			String line = jEdit.untab(getTabSize(),				buffer.getText(start,lineElement.getEndOffset()					       - (start + 1)));			if(tokenMarker == null)			{				Color color = (Color)colors.get("default");				if(color == null)					color = Color.black;				g.setColor(color);				g.drawString(line,x,y);			}			else			{				Enumeration enum = tokenMarker.markTokens(line,					lineIndex);				while(enum.hasMoreElements())				{					JSToken token = (JSToken)enum						.nextElement();					Object id = token.id;					if(id == null)						id = "default";					String sequence = token.sequence;					Color color = (Color)colors.get(id);					g.setColor(color == null ?						   Color.black : color);					g.drawString(sequence,x,y);					x += metrics.stringWidth(sequence);				}			}		}