Checker Framework Eclipse Plugin Throws Exception при загрузке

Question

У меня есть Eclipse 4.6.2 и плагин «Checker Framework Feature» 2.1.7 установлен.

Когда плагин сначала используются (например, при нажатии правой кнопки мыши и наведите курсор мыши на пункт контекстного меню «Checker Framework/Run Встроенный Checker») появляется следующее сообщение об ошибке в журнале ошибок затмения:

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) 
... 

Похоже, есть проблемы с прописной/нижний регистр класса SignednessAction ...

Может кто-нибудь помочь? Я хотел бы использовать Checker Framework!

Большое спасибо!

Answer 1

Ваш анализ несоответствия в капитализации правильный. Commit fa8ee98 исправляет ошибку. Вы можете повторно построить плагин Checker Framework Eclipse Plugin из репозитория управления версиями. В качестве альтернативы разработчики Checker Framework часто готовы предоставить вам частную версию, которая исправляет ошибку, поэтому вам не нужно ждать следующей версии. Вы можете отправить их по адресу checker-framework-dev@googlegroups.com.