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