01: package java.util;
02:
03: import java.security.Permission;
04: import java.security.PermissionCollection;
05:
06: class PropertyPermissionCollection extends PermissionCollection {
07: public void add(Permission permission) {
08: }
09:
10: public boolean implies(Permission permission) {
11: }
12:
13: public Enumeration elements() {
14: }
15: }
|