realm.properties revision dedea1c74ef770604ee181088cedc7bd891486ba
#username: password[,rolename ...]
admin: admin,manager-gui,manager-script,manager-jmx,manager-status