return document.getText(start,end);
return document.getText(start,len);
	public final String getText(int start, int end)	{		try		{			return document.getText(start,end);		}		catch(BadLocationException bl)		{			return null;		}	}