public boolean equals(Object t){
  return ((t instanceof RefType) && className.equals(((RefType)t).className));
}

public boolean equals ( Object t ) { return ( ( t instanceof RefType ) && className . equals ( ( ( RefType ) t ) . className ) ) ; }
2 reftypes are considered equal if they are parametrized by the same class name string .
