public void setDividerLocation(int location)
public void setDividerLocation(double proportionalLocation)
  public void setDividerLocation(int location)  {    if (ui != null && location != getDividerLocation())      {	int oldLocation = getDividerLocation();	((SplitPaneUI) ui).setDividerLocation(this, location);	firePropertyChange(DIVIDER_LOCATION_PROPERTY, oldLocation, location);      }  }