Revert Undertow's server.properties to work with setup.py