And Android app that uses the nativer server.properties query