docs: public Configuration addOptions(Option... options) {
          EnumSet<Option> opts = EnumSet.noneOf(Option.class);
          opts.addAll(this.options);
          opts.addAll(asList(options));
          return Configuration.builder().jsonProvider(jsonProvider).mappingProvider(mappingProvider).options(opts).evaluationListener(evaluationListeners).build();
      }