JavaSwingTutorial/SliderDemo2 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.SliderDemo2]
[Method: <components.SliderDemo2: void ()>]
[Line Number: 54]

java.lang.UnsupportedOperationException: Unknown value encountered
at edu.clarkson.serl.critic.extension.ExtensionManager.getSymbolicObject(ExtensionManager.java:217)
at edu.clarkson.serl.critic.interpreter.model.ExprNewArray.execute(ExprNewArray.java:59)
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)