public String toString() {
   return value.enclClass() + "." + value; // qualified name
 }