equal
deleted
inserted
replaced
133 } |
133 } |
134 } |
134 } |
135 } |
135 } |
136 |
136 |
137 // A Helper class to build a set of permissions. |
137 // A Helper class to build a set of permissions. |
138 final static class PermissionsBuilder { |
138 static final class PermissionsBuilder { |
139 final Permissions perms; |
139 final Permissions perms; |
140 public PermissionsBuilder() { |
140 public PermissionsBuilder() { |
141 this(new Permissions()); |
141 this(new Permissions()); |
142 } |
142 } |
143 public PermissionsBuilder(Permissions perms) { |
143 public PermissionsBuilder(Permissions perms) { |