if (v != null) v.addChangeListener(scrollListener);
  public void setViewport(JViewport v)  {    JViewport old = viewport;    removeNonNull(old);    viewport = v;    addNonNull(v);    revalidate();    repaint();    firePropertyChange(VIEWPORT_CHANGED_PROPERTY, old, v);    sync();  }