equal
deleted
inserted
replaced
299 } |
299 } |
300 } |
300 } |
301 } |
301 } |
302 |
302 |
303 // A Helper class to build a set of permissions. |
303 // A Helper class to build a set of permissions. |
304 final static class PermissionsBuilder { |
304 static final class PermissionsBuilder { |
305 final Permissions perms; |
305 final Permissions perms; |
306 public PermissionsBuilder() { |
306 public PermissionsBuilder() { |
307 this(new Permissions()); |
307 this(new Permissions()); |
308 } |
308 } |
309 public PermissionsBuilder(Permissions perms) { |
309 public PermissionsBuilder(Permissions perms) { |