// $Id$

ObjectLabel: WOString { value = labels.objectLabel; }
NameLabel:   WOString { value = labels.name;        }
Name:        WOString { value = objectName;         }