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