@Override
  public int hashCode() {
    int result = myProject.hashCode();
    result = 31 * result + (file != null ? file.hashCode() : 0);
    result = 31 * result + myInfos.hashCode();
    result = 31 * result + myRangeMarkers.hashCode();
    return result;
  }
@Override
  public int hashCode()