public void setDividerSize(int value0) {  }
public void setDividerSize(int newSize) { if (newSize != dividerSize) { int oldSize = dividerSize; dividerSize = newSize; firePropertyChange(DIVIDER_SIZE_PROPERTY, oldSize, dividerSize); } }
	public void setDividerSize(int value0) {		// TODO	} // setDividerSize()