Small Structural change;
SOme unused imports removed
Small Structural change;
Small Structural change;
Small Structural change;
Small Structure Changes
fixed conflict!
Small Structural change;
support for latest eclipse components
More Alloy specific operations now encapsulated.
Fixed Merge
bug fixed2
Merge branch 'v0.3' of https://github.com/haslab/echo into v0.3