JavaSwingTutorial/SpinnerDemo 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.SpinnerDemo]
[Method: <components.SpinnerDemo: javax.swing.JFormattedTextField getTextField(javax.swing.JSpinner)>]
[Line Number: 116]

java.lang.RuntimeException: java.lang.ClassCastException: edu.clarkson.serl.critic.extension.DefaultSymbolicApi cannot be cast to edu.clarkson.serl.critic.adt.ClosedSet
at edu.clarkson.serl.critic.interpreter.model.ExprInstanceOf.execute(ExprInstanceOf.java:159)
at edu.clarkson.serl.critic.interpreter.model.StmtAssign.executeStmt(StmtAssign.java:76)
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)
Caused by: java.lang.ClassCastException: edu.clarkson.serl.critic.extension.DefaultSymbolicApi cannot be cast to edu.clarkson.serl.critic.adt.ClosedSet
at edu.clarkson.serl.critic.interpreter.model.ExprInstanceOf.execute(ExprInstanceOf.java:119)
... 6 more