Description
Currently, when the errorprone profile ends up being activated, the build fails with JDK 9 or later. The documentation isn’t all that clear about how to fix this (I gather we should drop javac-with-errorprone but haven’t found a configuration which works without that).