public void setLabelTable(Dictionary table) {  }
public void setLabelTable(Dictionary table) { if (table != labelTable) { Dictionary oldTable = labelTable; labelTable = table; firePropertyChange(LABEL_TABLE_CHANGED_PROPERTY, oldTable, labelTable); } }
	public void setLabelTable(Dictionary table) {		// TODO	} // setLabelTable()