@Override
    public int hashCode() {
      int result = myFile != null ? myFile.hashCode() : 0;
      result = 31 * result + (myNavigate != null ? myNavigate.hashCode() : 0);
      result = 31 * result + (myAttributes != null ? myAttributes.hashCode() : 0);
      return result;
    }
@Override
    public int hashCode()