public static @NotNull ProperTextRange create(@NotNull Segment segment) {
    return new ProperTextRange(segment.getStartOffset(), segment.getEndOffset());
  }
public static @NotNull ProperTextRange create(@NotNull Segment segment)