[e-lang] Joe-E Installation Problem

[Mohsen Vakilian]

Hi,
I'm interested in trying out Joe-E. I followed the instructions at
http://code.google.com/p/joe-e/wiki/GettingStarted to install it.
I installed Java 1.5 and the version of eclipse suggested by the tutorial.
Then, I installed, configured and enabled the Joe-E plugin.
Afterwards, I wrote a simple program which violates some of the restrictions
enforced by Joe-E. For instance, I wrote a class that implements Powerless,
but it is not immutable. I expected to see a list of errors in the
"Problems" window. But, no errors show up. Any ideas of what's going wrong?

Thanks,
Mohsen Vakilian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/e-lang/attachments/20090908/4549d8e5/attachment.html