public void setDocument(Document newdoc)
public void setDocument(Document newDocument)
  public void setDocument(Document newdoc)  {    Document document = getDocument();    if (document == newdoc)      return;        setDocument(newdoc);    firePropertyChange("document", document, newdoc);  }