////////////////////////////////////////////////////////////////////////////
/**
* Contributes "TabText" property to each {@link WidgetInfo} child.
*/
private void contributeTabTextProperty() {
addBroadcastListener(new XmlObjectAddProperties() {
public void invoke(XmlObjectInfo object, List<Property> properties) throws Exception {
if (object instanceof WidgetInfo && getChildren().contains(object)) {
WidgetInfo widget = (WidgetInfo) object;
Property textProperty = getTabTextProperty(widget);
if (textProperty != null) {