GitHub repository: JDTCC/error-prone
Description: Catch common Java mistakes as compile-time errors