Fixed wrong vanilla method name in ServerConfigurationManager. Fixes #1076