DOMUtilities.SaveDOM(document,path);
if (treeSelection != null) {  Node deletionElement = (Element) treeSelection .getFirstElement(); Node deletionParent = deletionElement.getParentNode(); deletionParent.removeChild(deletionElement); treeViewer.refresh();  }
			public void run() {				DOMUtilities.SaveDOM(document,path);			}