firePropertyChange(ROW_HEADER_CHANGED_PROPERTY, old, v);
firePropertyChange("rowHeader", old, v);
  public void setRowHeader(JViewport v)  {    JViewport old = rowHeader;    removeNonNull(old);    rowHeader = v;    addNonNull(v);    firePropertyChange(ROW_HEADER_CHANGED_PROPERTY, old, v);    sync();  }