[e-lang] Joe-E 1.0 out

[Adrian Mettler]

The Joe-E verifier version 1.0.0 is now available from
http://www.joe-e.org

It can be added to your eclipse install (tested with version 3.2, may 
work with older versions) following the instructions given there.  If 
you already have 0.5, upgrading should be easy; just tell Eclipse 
Updates to grab the new version.

There have been a lot of bugs fixed since the December (0.5) version; 
there's also a decent test suite with unit tests for each Joe-E 
restriction, which hopefully means far fewer bugs remain. The only big 
thing missing feature-wise is a good taming database.  The taming checks 
should be feature-complete, and there is a way to specify taming 
decisions, but safej support and an adequate set of tamed classes is yet 
to come.

Comments and suggestions are welcome.

-Adrian