public void setDocumentProperties(Dictionary x)
public void setDocumentProperties(Dictionary p)
  public void setDocumentProperties(Dictionary x)    {    // FIXME: make me thread-safe    properties = x;    }