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