java.lang.NullPointerException

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • GitHub comment 524#302292080
    via GitHub by davidcok
    ,
    • java.lang.NullPointerException at com.sun.tools.javac.comp.Lower.visitIterableForeachLoop(Lower.java:3486) at com.sun.tools.javac.comp.Lower.visitForeachLoop(Lower.java:3378) at com.sun.tools.javac.tree.JCTree$JCEnhancedForLoop.accept(JCTree.java:1035) at org.jmlspecs.openjml.JmlTree$JmlEnhancedForLoop.accept(JmlTree.java:1558)
    No Bugmate found.