4849505152535455565758
} Config(Config oldConf) { if (oldConf.getCodec() == null) { // use it by default oldConf.setCodec(new JsonJacksonCodec()); } setThreads(oldConf.getThreads()); setCodec(oldConf.getCodec()); if (oldConf.getSingleServerConfig() != null) {