Java annotations for the Error Prone static analysis tool
