A4E for MacOs X leopard users

[DanArBer]

Dear all,

There is a bug in Eclipse launcher that causes a problem in the AWT/
SWT bridge needed to embed Alloy 4 visualization into A4E.

All the details, with a fix, are available at:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=199020

I applied the fix and A4E now works fine for me on my iBook Leopard.

The fix will ship in Eclipse 3.3.2.

Cheers,

Daniel