Java Static-code-analysis Resources