Added summary of both Findbugs and Lint4j