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 proover.
Jissa home page