plugin for error-prone java compiler