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