JLint - static analysis for Java