The recently released Envers 1.2.0.GA finally made it to the JBoss Maven repository; you can find it here:
http://repository.jboss.org/maven2/org/jboss/envers/jboss-envers/1.2.0.GA-hibernate-3.3/

Also, following Bob’s example, I’ve put the JSR 308 typestate checker and Maven2 plugin on github:

• http://github.com/adamw/jsr308-typestate-checker/tree
• http://github.com/adamw/jsr308-maven2-plugin/tree

So everyone can now easily grab the source code and modify it.

Have fun!
Adam