132133134135136137138139140
} void fireRolesChanged(RoleSet changedRoleSet) { RoleEvent event = new RoleEvent(this, changedRoleSet); for (int i=0; i<myListeners.size(); i++) { Listener next = (Listener) myListeners.get(i); next.rolesChanged(event); } }