Checker Framework Eclipse Plugin Throws Exception when Loaded

Question

I have Eclipse 4.6.2 and the plugin "Checker Framework Feature" 2.1.7 installed.

When the plug-in is first used (e.g. when I right-click and hover over the context-menu item "Checker Framework/Run Built-in Checker") the following error appears in the eclipse error log:

Plug-in checker.framework.eclipse.plugin was unable to load class org.checkerframework.eclipse.actions.CheckerActions$signednessAction.

java.lang.NoClassDefFoundError: org/checkerframework/eclipse/actions/CheckerActions$signednessAction (wrong name: org/checkerframework/eclipse/actions/CheckerActions$SignednessAction)
    at java.lang.ClassLoader.defineClass1(Native Method)
    at java.lang.ClassLoader.defineClass(Unknown Source)
...

It seems like there is trouble with the uppercase / lowercase of class SignednessAction...

Can anyone help? I would love to use the Checker Framework!

Thanks so much!

Answer 1

Your analysis about the mismatch in capitalization is correct. Commit fa8ee98 fixes the bug. You can re-build the Checker Framework Eclipse Plugin from the version control repository. Alternately, the Checker Framework developers are often willing to make you a private release that fixes the bug so you don't have to wait until the next release. You could email them at [email protected].