dragDividerTo(location);
  protected void finishDraggingTo(int location)  {    if (nonContinuousLayoutDivider != null)      nonContinuousLayoutDivider.setVisible(false);    draggingHW = false;    location = validLocation(location);    dragDividerTo(location);    splitPane.setDividerLocation(location);    splitPane.setLastDividerLocation(beginDragDividerLocation);    beginDragDividerLocation = -1;    splitPane.repaint();  }