int () { 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; }