103 |
{ |
{ |
104 |
allPermission = new |
allPermission = new |
105 |
DefaultPermissionCollection("java.security.AllPermission"); |
DefaultPermissionCollection("java.security.AllPermission"); |
106 |
|
allPermission.add(perm); |
107 |
|
|
108 |
perms.put("java.security.AllPermission", allPermission); |
perms.put("java.security.AllPermission", allPermission); |
109 |
} |
} |
191 |
} |
} |
192 |
} |
} |
193 |
} |
} |
194 |
else if (!sub_enum.hasMoreElements()) |
if (!sub_enum.hasMoreElements()) |
195 |
{ |
{ |
196 |
sub_enum = null; |
sub_enum = null; |
197 |
return (hasMoreElements()); |
return (hasMoreElements()); |
243 |
perm.getClass().getName()); |
perm.getClass().getName()); |
244 |
|
|
245 |
if (perms.get(perm.getName()) != null) |
if (perms.get(perm.getName()) != null) |
246 |
throw new IllegalArgumentException("Duplicate permission: " + |
// throw new IllegalArgumentException("Duplicate permission: " + |
247 |
perm.getName()); |
// perm.getName()); |
248 |
|
return; |
249 |
|
|
250 |
perms.put(perm.getName(), perm); |
perms.put(perm.getName(), perm); |
251 |
} |
} |