public static @NotNull List<String> readOptions(@NotNull String prefix, boolean effective) {
    List<String> lines = options(effective), values = new SmartList<>();
    for (String s : lines) {
      String line = s.trim();
      if (line.startsWith(prefix)) {
        values.add(line.substring(prefix.length()));
      }
    }
    return values;
  }
public static @NotNull List<String> readOptions(@NotNull String prefix, boolean effective)