if (splitPane.isOneTouchExpandable()) { layout(); repaint(); }
invalidate(); if (splitPane != null) splitPane.revalidate();
  public void propertyChange(PropertyChangeEvent e)  {    if (e.getPropertyName().equals(JSplitPane.ONE_TOUCH_EXPANDABLE_PROPERTY))      oneTouchExpandableChanged();    else if (e.getPropertyName().equals(JSplitPane.ORIENTATION_PROPERTY))      {	orientation = splitPane.getOrientation();	if (splitPane.isOneTouchExpandable())	  {	    layout();	    repaint();	  }      }    else if (e.getPropertyName().equals(JSplitPane.DIVIDER_SIZE_PROPERTY))      dividerSize = splitPane.getDividerSize();  }