Eclipse plugin, "Run Selected Checkers" feature no longer works in v1.8.5

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Upgrade the Checker Framework Eclipse plugin to version 1.8.5.
2. Right-click a Java file, select Checker Framework > Run Selected Checkers.
3. Instead of checking the file, an error is displayed in the Eclipse Error Log 
view.

What is the expected output? What do you see instead?

The exception is:

Analysis Exception

java.lang.NullPointerException
    at org.checkerframework.eclipse.actions.CheckerWorker.runChecker(CheckerWorker.java:134)
    at org.checkerframework.eclipse.actions.CheckerWorker.work(CheckerWorker.java:116)
    at org.checkerframework.eclipse.actions.CheckerWorker.run(CheckerWorker.java:93)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)

What version of the product are you using? On what operating system?

Version 1.8.5 on Windows 7 64-bit.

Please provide any additional information below.

I have the following checkers selected:

Nullness
Lock
Fenum
Tainting
Regex
Format
Linear

I tried unselecting all of them and trying again but got the same error.

Right-clicking the Java file and selecting Checker Framework > Run Built-in 
Checker > [Any Checker] works fine.

Original issue reported on code.google.com by innatedi...@gmail.com on 31 Aug 2014 at 3:43

[GoogleCodeExporter]

This is with Eclipse 4.4.0.

Original comment by innatedi...@gmail.com on 31 Aug 2014 at 3:44

[GoogleCodeExporter]

I have reproduced this and I am looking into it.

Original comment by Jonathan...@gmail.com on 2 Sep 2014 at 4:58

• Changed state: Accepted

[GoogleCodeExporter]

This has been fixed.  

Thank you for the feedback.  If you Check For Update, you can now download 
feature version 1.8.5.1 which will fix this issue.

Please let us know if you have any problems in the future.

Jonathan

Original comment by Jonathan...@gmail.com on 2 Sep 2014 at 5:43

• Changed title: Eclipse plugin, "Run Selected Checkers" feature no longer works in v1.8.5
• Changed state: Fixed