else maximumSize = null;
  public void setMaximumSize(Dimension max)  {    Dimension oldMaximumSize = maximumSize;    maximumSize = new Dimension(max);    firePropertyChange("maximumSize", oldMaximumSize, maximumSize);  }