+ privileges = new ArrayList<Privilege>();
+ privileges.add(accessControlManager
+ .privilegeFromName(Privilege.JCR_ALL));
+ if (accessControlManager.hasPrivileges(currentNode.getPath(),
+ privileges.toArray(new Privilege[0]))) {
+ genericNodePage = new GenericNodePage(this,
+ WorkbenchUiPlugin.getMessage("propertyEditorPageTitle"),
+ currentNode);
+ addPage(genericNodePage);
+ }
+