[JSR308] New release of the Typestate Checker

[Adam Warski]

Hello,

today I've released a new version (0.2) of the Typestate Checker. You  
can find more information, downloads, examples etc in the blog entry:
http://www.warski.org/blog/?p=72

Changes:
- bug fixes
- support for "onException" element of state annotations, which  
specifies the state to which an object transits, when an exception is  
thrown
- improved flow algorithm (better handling of try-catch-finally  
blocks, "dead"/"alive" catches)
- initial support for an "except" element in @Any annotation; this way  
you can specify that all states except some are covered by the  
annotation. This doesn't yet fully work, as only "certain" annotations  
are tracked by the flow algorithm, not the possible ones, in which an  
object can be. So if except includes more than one annotation, and the  
object can be in one of two states, using this can yield false  
positives.

Comments welcome! :)

Adam