We should try and prevent write access to the env.properties where possible. If we do this it should be added to the release notes and the user will have to check their file permissions. We could also try and change the permissions ourselves when Mango starts.