* properties of this node.
*/
public synchronized void setPropertyNames(Set propNames) {
if (propNames instanceof HashSet) {
HashSet names = (HashSet) propNames;
propertyNames = (HashSet) names.clone();
sharedPropertyNames = false;
} else {
if (sharedPropertyNames) {
propertyNames = new HashSet();
sharedPropertyNames = false;