Since #1780, Error Prone is running on both development branches.

Error Prone classifies bug patterns into two categories: ERROR and WARNING, while a third category SUGGESTION is experimental.

While all ERRORs have been recently fixed, we need to scroll through the detected warnings to see, which one should be corrected.