for (GeoServerRole role : removePanel.getRoots()) {
gaStore.removeRole(role);
}
gaStore.store();
} catch (IOException ex) {
try {gaStore.load(); } catch (IOException ex2) {};
throw new RuntimeException(ex);
}
// the deletion will have changed what we see in the page
// so better clear out the selection
roles.clearSelection();