return null;
try { return getDocument().getText(0, getDocument().getLength()); } catch (BadLocationException ble) { throw new AssertionError("This should not happen"); }
  public String getText()  {		return null; // TODO  }