if (this.m_anisoLevel != that.m_anisoLevel) return false;
  public boolean equals(Object other) {    if (other == this) {      return true;    }    if (!(other instanceof TextureKey)) {      return false;    }    TextureKey that = (TextureKey)other;    if (!this.m_location.equals(that.m_location)) return false;    if (this.m_minFilter != that.m_minFilter) return false;    if (this.m_maxFilter != that.m_maxFilter) return false;    if (this.m_flipped != that.m_flipped) return false;    return true;  }