Enumeration enu = _citizen.getCombinedPermissions().elements();
ArrayList list = new ArrayList();
while (enu.hasMoreElements()) {
list.add( new AnyPermission((Permission)enu.nextElement()) );
}
return new AnyTuple( (Any[])list.toArray(new Any[list.size()]) );
}