JiveLint
A command line tool employing static analysis on Java source code. Potential bugs and weak points are reported and a manual describes how source code can be improved. [Commercial, trial version]