@Override public String toString() { return theDomain.getName() + "." + getName(); }
@Override public final int hashCode() { int ret = super.hashCode(); ret = ret * 13 + theDomain.hashCode(); return super.hashCode(); }