+
+ childNodesPage = new ChildNodesPage(this,
+ JcrExplorerPlugin.getMessage("childNodesPageTitle"),
+ currentNode);
+ addPage(childNodesPage);
+
+ nodeRightsManagementPage = new NodeRightsManagementPage(this,
+ JcrExplorerPlugin
+ .getMessage("nodeRightsManagementPageTitle"),
+ currentNode);
+ addPage(nodeRightsManagementPage);
+
+ nodeVersionHistoryPage = new NodeVersionHistoryPage(
+ this,
+ JcrExplorerPlugin.getMessage("nodeVersionHistoryPageTitle"),
+ currentNode);
+ addPage(nodeVersionHistoryPage);