set.addAll(properties.entrySet());
if (properties != null) set.addAll(properties.keySet());
    private void addSlotNames(Set set)    {	set.addAll(properties.entrySet());	Frame prototype = frameSet.getPrototype(this);	if (prototype != null) prototype.addSlotNames(set);	Frame parent =  frameSet.getParent(this);	if (parent != null) parent.addSlotNames(set);    }