fixed an embarasing typo, server.xml not settings.xml