The folks at Newisys finally got their Java verification framework open sourced. Check it out at jove.sf.net.