DeleteToolDocs. Improved javadoc for DeleteTool.