An extensible multilanguage static code analyzer
A source code analyzer
Translate java source into another language
A Java class viewer and decompiler which respect line numbers.
Programming with Millions of Examples
Kammerjäger is a debugging tool with integrated correctness proving.