title: Eclipse -- Manually Install Plugin
body: <p>I am trying to migrate from Adacore's GPS to the Eclipse based GNATBench. GNATBench is available <a href="http://mirrors.cdn.adacore.com/art/ef73b2f9a979dcfc2c8ad8badb5055a73bff333c" rel="nofollow">here</a> for free download, but is packaged as a zip file. I have only installed Eclipse plugins through the marketplace, or through an online repository. I have tried extracting the folder into the Eclipse plugins folder, but it did not work. How do I install this plugin manually through a zip file? Is there another way of getting it?</p>