}
private void doPermissionEditor(final String userName, final Map<String, List<String>> perms) {
final FormStylePopup editor = new FormStylePopup(images.management(),
constants.EditUser0(userName));
editor.addRow(new HTML("<i>" + constants.UserAuthenticationTip()
+ "</i>"));
// now render the actual permissions...
VerticalPanel vp = new VerticalPanel();
editor.addAttribute("", doPermsPanel(perms, vp));