public int hashCode() {
   int result = super.hashCode();
   result = 31 * result + myClassName.hashCode();
   result = 31 * result + myParameterMap.hashCode();
   return result;
 }
 public int hashCode() {
   return mySubstitutionMap != null ? mySubstitutionMap.hashCode() : 0;
 }