Bugfix in ServerJsonConfiguration