public void setDocument(Document s) { doc = s;
public void setDocument(Document newDoc) { Document oldDoc = doc; doc = newDoc; firePropertyChange("document", oldDoc, newDoc);
    public void setDocument(Document s)    {	doc = s;	revalidate();	repaint();    }