Jissa is a tool for disassembling Java files, and transforming them to an equivalent representation. Among others, this tool was used by some guys here at my University to transform Java into input files for an automatic theorem prover.
Jissa home page