public static String @NotNull [] splitLines(@NotNull CharSequence s) {
    return s.length() == 0 ? new String[]{""} : LineTokenizer.tokenize(s, false, false);
  }
public static String @NotNull [] splitLines(@NotNull CharSequence s)