Some params don't have default values in Settings.cs. For exmaple, Port and WsPort. We should set default settings to make it work even if config.json is missing in workspace.