protected void fireValueChanged(TreeSelectionEvent value0) {  }
protected void fireValueChanged(TreeSelectionEvent event) { TreeSelectionListener[] listeners = getTreeSelectionListeners();  for (int i = listeners.length - 1; i >= 0; --i) listeners[i].valueChanged(event); }
	protected void fireValueChanged(TreeSelectionEvent value0) {		// TODO	} // fireValueChanged()