code: private static String getText(Document document)
  	{
  		try
  		{
  			return document.getText(0, document.getLength());
  		}
  		catch (BadLocationException exception)
  		{
  			return null;
  		}
  	}
docs: private methods --------------------------------------------------------