/**
* deletes a page from the manifest
*
* @param nodeID
*/
private void deletePage(final String identifier, final boolean deleteResource) {
if (identifier.equals("")) {
// no page selected
} else {
final CPManager cpMgm = CPManager.getInstance();
final String path = treeModel.getPath(identifier);
treeCtr.removePath(path);
cpMgm.removeElement(cp, identifier, deleteResource);
cpMgm.writeToFile(cp);
}
}
