JavaSwingTutorial/MenuGlueDemo breaks Critical.

[chandanrrk]

eclipse.buildId=4.3.2.M20140221-1700
java.version=1.7.0_40
java.vendor=Oracle Corporation
BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=en_US
Framework arguments: -product org.eclipse.platform.ide
Command-line arguments: -product org.eclipse.platform.ide -data C:\Users\rupakhet\Documents\Research\CriticAL\TestWorkspace -dev file:C:/Users/rupakhet/Documents/Research/CriticAL/Workspace/.metadata/.plugins/org.eclipse.pde.core/CriticalRuntime/dev.properties -os win32 -ws win32 -arch x86_64 -consoleLog

Error
Thu Jul 17 10:01:35 EDT 2014
CriticAL framework encountered a problem while analyzing:
[Class: components.MenuGlueDemo]
[Method: <components.MenuGlueDemo: javax.swing.JMenu createMenu(java.lang.String)>]
[Line Number: 55]

java.lang.NullPointerException
at edu.clarkson.serl.critic.adt.ClosedList.contains(ClosedList.java:83)
at edu.clarkson.serl.critic.swing.types.JComponentAbstraction.add(JComponentAbstraction.java:751)
at edu.clarkson.serl.critic.swing.types.JComponentAbstraction.execute(JComponentAbstraction.java:142)
at edu.clarkson.serl.critic.interpreter.model.InvokeInstance.execute(InvokeInstance.java:62)
at edu.clarkson.serl.critic.interpreter.model.StmtInvoke.executeStmt(StmtInvoke.java:59)
at edu.clarkson.serl.critic.interpreter.model.StmtAbstract.execute(StmtAbstract.java:111)
at edu.clarkson.serl.critic.interpreter.Interpreter.processContext(Interpreter.java:377)
at edu.clarkson.serl.critic.interpreter.Interpreter.execute(Interpreter.java:297)
at edu.clarkson.serl.critic.jobs.internal.CriticMainJob.run(CriticMainJob.java:89)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:53)