firePropertyChange(VIEWPORT_BORDER_CHANGED_PROPERTY, old, b);
firePropertyChange("viewportBorder", old, b);
  public void setViewportBorder(Border b)  {    Border old = viewportBorder;    viewportBorder = b;    firePropertyChange(VIEWPORT_BORDER_CHANGED_PROPERTY, old, b);    sync();  }