deprecate public API for new one that uses progress monitor (bug 7351)
<?xml version="1.0" encoding="UTF-8"?><?NLS TYPE="org.eclipse.help.toc"?><toc> <!-- Enter topic entries here for Concepts section of help --> <topic label="Introduction" href="html/concepts/concepts.htm" /></toc>