title: Depending on com.sun.javadoc from tools.jar (Sun JDK) in Eclipse
body: <p>One of our plugins requires an installed JDK, not just an JRE. We need com.sun.javadoc and friends from tools.jar. I do not think Sun's license will allow redistributing tools.jar (which is not necessary if you already have a JDK anyway).</p>
  
  <p>It also seems there is no way in Eclipse to specify a JDK as a dependency. All answers in the Eclipse newsgroups suggest that end users will have to configure their Eclipse properly first.</p>
  
  <p>Do you know any workaround that will make this dependency obvious to users of our plugin, <em>just by using Eclipse's on-board mechanisms for dependencies</em>? It seems this package is not even valid for <code>Import-Package</code> in the manifest, unlike e.g. com.sun.jdi.</p>
  
  <p>(As a work-around, currently we can only warn on plugin activation that this library is missing.)</p>