A plug-in for Eclipse that enables usage of PDE Plug-in projects with Virgo Tools