GWT-613: available profiles after login window: group by role
GWT-619: on save changes of user to server, reselect user in users grid. Idem for groups.
GWT-615: encoding of properties file: UTF-8. is this persisted?