private static String @NotNull [] trim(String @NotNull [] lines) {
    String[] result = new String[lines.length];
    for (int i = 0; i < lines.length; i++) {
      result[i] = lines[i].trim();
    }
    return result;
  }
private static String @NotNull [] trim(String @NotNull [] lines)