public @NotNull String getPresentation() {
    String presentation = myMajor + "." + myMinor + "." + myRevision;
    if (myPatchLevel > 0) presentation += "." + myPatchLevel;
    return presentation;
  }
public @NotNull String getPresentation()