Closed wmdietl closed 7 years ago
Adapt to the changes in https://github.com/typetools/checker-framework/pull/1494
Adapt to the changes in https://github.com/typetools/checker-framework/pull/1494