public static @Nullable String readOption(@NotNull String prefix, boolean effective) {
    List<String> lines = options(effective);
    // the list is iterated in the reverse order, because the last value wins
    for (int i = lines.size() - 1; i >= 0; i--) {
      String line = lines.get(i).trim();
      if (line.startsWith(prefix)) {
        return line.substring(prefix.length());
      }
    }
    return null;
  }
public static @Nullable String readOption(@NotNull String prefix, boolean effective)