int () { int result = myFile.hashCode(); result = 31 * result + (int)(myOldModificationStamp ^ (myOldModificationStamp >>> 32)); result = 31 * result + (int)(myNewModificationStamp ^ (myNewModificationStamp >>> 32)); return result; }