CheckerFramework crash

[Jo D]

Hi all,

after I got Checker Framework to run (which was quite the journey), I am seeing this:

src\main\java\ch\netcetera\vega\service\dde\DDEServer.java:175: warning: [dep-ann] deprecated item is not annotated with @Deprecated

    public synchronized boolean postAdvises(String[] topics, String[] items) {

                                ^

error: SourceChecker.typeProcess: unexpected Throwable (NullPointerException) while processing src\main\java\ch\netcetera\vega\service\dde\DDEServer.java

  ; The Checker Framework crashed.  Please report the crash.

  Compilation unit: src\main\java\ch\netcetera\vega\service\dde\DDEServer.java

  Last visited tree at line 74 column 5:

      @Override

  Exception: java.lang.NullPointerException; java.lang.NullPointerException

        at org.checkerframework.framework.type.GenericAnnotatedTypeFactory.getRegularExitStore(GenericAnnotatedTypeFactory.java:1074)

        at org.checkerframework.common.basetype.BaseTypeVisitor.visitMethod(BaseTypeVisitor.java:923)

        at org.checkerframework.checker.guieffect.GuiEffectVisitor.visitMethod(GuiEffectVisitor.java:437)

        at org.checkerframework.checker.guieffect.GuiEffectVisitor.visitMethod(GuiEffectVisitor.java:46)

        at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:898)

        at jdk.compiler/com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:82)

        at org.checkerframework.framework.source.SourceVisitor.scan(SourceVisitor.java:88)

        at org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:322)

        at org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:187)

        at jdk.compiler/com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:90)

        at jdk.compiler/com.sun.source.util.TreeScanner.scan(TreeScanner.java:105)

        at jdk.compiler/com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:113)

        at jdk.compiler/com.sun.source.util.TreeScanner.visitClass(TreeScanner.java:187)

        at org.checkerframework.framework.source.SourceVisitor.visitClass(SourceVisitor.java:94)

        at org.checkerframework.common.basetype.BaseTypeVisitor.processClassTree(BaseTypeVisitor.java:517)

        at org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:470)

        at org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:187)

        at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:808)

        at jdk.compiler/com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:56)

        at org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:82)

        at org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:997)

        at org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:543)

        at org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:188)

        at jdk.compiler/com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:828)

        at jdk.compiler/com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:132)

        at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1418)

        at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1375)

        at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:973)

        at jdk.compiler/com.sun.tools.javac.main.Main.compile(Main.java:311)

        at jdk.compiler/com.sun.tools.javac.main.Main.compile(Main.java:170)

        at jdk.compiler/com.sun.tools.javac.Main.compile(Main.java:57)

        at jdk.compiler/com.sun.tools.javac.Main.main(Main.java:43)

What should I do next?