public int hashCode() { int result; result = m_target.hashCode(); result = 31 * result + m_environment.hashCode(); return result; }
public int hashCode() { int result; result = m_target.hashCode(); result = 31 * result + m_environment.hashCode(); return result; }