Plugin deployment
------------------
- the plugin should be unpacked in the eclipse plugin directory.
