Magma Plug-in for Eclipse