public int hashCode() {
    int result = myFile.hashCode();
    result = 31 * result + Long.hashCode(myOldModificationStamp);
    result = 31 * result + Long.hashCode(myNewModificationStamp);
    return result;
  }
public int hashCode()