changed Server's initializer so that default values can kick in