removed default values for Server initializer