Closed smillst closed 4 years ago
Let's wait on the result of https://github.com/typetools/checker-framework/issues/3083 and then do the same here.
Like the fix for typetools/checker-framework#3083 people should use JDK 11 for proper IDE integration.
Let's wait on the result of https://github.com/typetools/checker-framework/issues/3083 and then do the same here.