Here’s a neat article that talks about various code quality related Eclipse plug-ins. Oddly, TPTP was left out here :/