Map<String, String> map = new HashMap<String, String>();
Enumeration<String> e = cast(servletConfig.getInitParameterNames());
while (e.hasMoreElements()) {
map.put(e.nextElement(), servletConfig.getInitParameter(e.nextElement()));
}
configText = json.format(map);
}
try {
config = json.parse(configText, Config.class);
if (config.container == null) config.container = Container.class;