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