Michael Ernst

Now the default should be changed to version 2.7.0. (Is everything OK with the maintainers? The project has gone quiet of late.)

Thanks for the updates. Your project has been forked by @kelloggm: https://github.com/kelloggm/checkerframework-gradle-plugin . I have been successfully using his version, which [credits](https://github.com/kelloggm/checkerframework-gradle-plugin#credits) you for the original code. Perhaps you could...

I speculate that the reason that no PR was submitted here is that you didn't respond to PRs and issues against this repository for two years.

1. Can you suggest how the CF documentation can be improved, so that others don't face the same problem you did? Thanks. 2. We agree that the slower build time...

> 1. Can you suggest how the CF documentation can be improved, so that others don't face the same problem you did? Thanks. @xenoterracide A ping on this, which seems...

@vladimirfx Regarding your comment about 2.11.x, it's true that it works only on Java 8. Version 3.0.0 works on Java 8 and Java 11, so upgrading to 3.0.0 resolves that...

If you know what to do, then certainly. Please open a pull request with the fix. Thanks!

@Calvin-L Does "devise a good state maintenance sketch" mean that one exists that is not good, or that none exists? (Also, in what file would that go? In `state_maintenance.py`? I...

Another workaround is to use an `extern` declaration for a function that compares against a string literal, as in ```extern is_issue_tracking(x : String) : Bool = "({x} == \"issue_tracking\")"```

I encountered the same problem. A library I maintain contains an API that takes an Iterator argument. These APIs cannot be removed, because doing so would break backward compatibility. I...