kelloggm / checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java
Apache License 2.0
66 stars 15 forks source link

Avoid deprecation (a different one this time) #258

Closed kelloggm closed 1 year ago

kelloggm commented 1 year ago

The user reporting #256 provided the following build scan to show that #257, while it did resolve one deprecation warning, did not resolve all of them: https://scans.gradle.com/s/tcqljevj2apk4

This PR should hopefully fix the deprecation warning from that build scan. I haven't been able to reproduce this deprecation warning myself, so we'll need to wait for the user to confirm. I have tested that this doesn't seem to break existing compatibility with toolchains on a simple example.