Static Key Registry

final class ServerOptions {
  static final ConfigProperty<String> HOST = ConfigProperty.<String>builder()
    .path(ConfigPath.parse("server.host"))
    .type(String.class)
    .defaultValue("0.0.0.0")
    .comment(comment("Address used by the public listener."))
    .build();

  static final ConfigProperty<Integer> PORT = ConfigProperty.<Integer>builder()
    .path(ConfigPath.parse("server.port"))
    .type(Integer.class)
    .defaultValue(25565)
    .comment(comment("Port used by the public listener."))
    .build();

  static final ConfigProperty<Boolean> METRICS = ConfigProperty.<Boolean>builder()
    .path(ConfigPath.parse("features.metrics"))
    .type(Boolean.class)
    .defaultValue(true)
    .comment(comment("Whether metrics should be collected."))
    .build();

  private ServerOptions() {
  }

  private static ConfigComment comment(String text) {
    return ConfigComment.builder()
      .addLeading(ConfigCommentLine.builder()
        .text(text)
        .type(ConfigCommentType.BLOCK)
        .marker(ConfigCommentMarker.HASH)
        .build())
      .build();
  }
}

var codecs = new ConfigCodecRegistry();
var definition = StaticConfigDefinition.from(ServerOptions.class);

definition.applyDefaults(document, codecs);

var host = definition.get(document, ServerOptions.HOST, codecs);
var port = definition.get(document, ServerOptions.PORT, codecs);
var metrics = definition.get(document, ServerOptions.METRICS, codecs);