Internal JML bug - please report. Build(version info not av

typechecked $anonymous$java.util.Arrays$214$
typechecked java.util.Arrays
rac Result
desugar 0 Result
Internal JML bug - please report.  Build(version info not available)
java.lang.AssertionError
	at com.sun.tools.javac.util.Assert.error(Assert.java:126)
	at com.sun.tools.javac.util.Assert.checkNonNull(Assert.java:61)
	at com.sun.tools.javac.jvm.ClassWriter.writePool(ClassWriter.java:472)
	at com.sun.tools.javac.jvm.ClassWriter.writeClassFile(ClassWriter.java:1566)
	at com.sun.tools.javac.jvm.ClassWriter.writeClass(ClassWriter.java:1448)
	at com.sun.tools.javac.main.JavaCompiler.genCode(JavaCompiler.java:719)
	at com.sun.tools.javac.main.JavaCompiler.generate(JavaCompiler.java:1458)
	at com.sun.tools.javac.main.JavaCompiler.generate(JavaCompiler.java:1426)
	at com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:866)
	at org.jmlspecs.openjml.JmlCompiler.compile2(JmlCompiler.java:527)
	at com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:835)
	at com.sun.tools.javac.main.Main.compile(Main.java:417)
	at com.sun.tools.javac.main.Main.compile(Main.java:331)
	at org.jmlspecs.openjml.Main.compile(Main.java:367)
	at com.sun.tools.javac.main.Main.compile(Main.java:322)
	at org.jmlspecs.openjml.Main.execute(Main.java:322)
	at org.jmlspecs.openjml.Main.execute(Main.java:288)
	at org.jmlspecs.openjml.Main.execute(Main.java:275)
	at org.jmlspecs.openjml.Main.main(Main.java:248)