public void resetToPreferredSizes() {  }
public void resetToPreferredSizes() { if (ui != null) ((SplitPaneUI) ui).resetToPreferredSizes(this); }
	public void resetToPreferredSizes() {		// TODO	} // resetToPreferredSizes()