I just made the release 0.1.7 of the plugin available from the eclipseupdate site.
It is just an update to Alloy4 RC11.
Many thanks to Felix Chang for contributing the code changes needed tomake the code RC11 friendly.
Cheers,
Daniel