code: public final OptionElement getDefault() {
      OptionElement defaultOption = OptionElement.findByName(options(), "default");
      return defaultOption != null ? defaultOption : null;
    }
docs: Returns the {@code default} option value or {@code null}.