This extension in VSCode marketplace is not the latest release

[qwertycxz]

Hi! I am trying to use this extension but found that the latest update date is at 2019, released by @zhangjiangqige.

With the marketplace version. It continuously yells:

org.checkerframework.languageserver.CheckExecutor$Receiver run
Got from wrapper: null
Ignoring null return from wrapper

with an eventually OOM.

Could you please update it? Thanks!

[wmdietl]

Thanks for the note. Yes, we should have made an updated release a while ago, a lot changed in the implementation.
At the moment we just build and install it locally, but an official release again would be good.