title: Reload target platform in eclipse dynamically from plugin
body: <p>I'm writing a plugin to eclipse, in which I need to reload active target platform, at a given time. - just as the Preferences -> Plug-In Development -> Target Platform -> Reload.button, but of course dynamically from my plugin.</p>
  
  <p>I would imagine something like this would be the way, but i can't find the entrance/MagicProvider:</p>
  
  <pre><code>MagicProvider.getTargetPlatforms().getActive().reload();
  </code></pre>
  
  <p>Hope some of you know the trick :)</p>