if (viewSize == null) return getView().getPreferredSize();
if (isViewSizeSet) return viewSize;
  public Dimension getViewSize()  {    if (viewSize == null)      return getView().getPreferredSize();    else      return viewSize;  }