#18 NullPointer en dynalloy.visualization

[thermo]

Me deja compilar y ejecutar la especificación, encuentra una instancia de algo pero luego no la a puedo ver en la GUI y tira la siguiente excepcion. Adjunto el ejemplo que triggerea el bug.

Output:
...
18963 vars. 3099 primary vars. 31983 clauses. 438ms
Instance found. finds is consistent. 92ms

Consola:
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
at ar.uba.dc.rfm.dynalloy.visualization.NameSpace.<init>(NameSpace.java:28)
at ar.uba.dc.rfm.dynalloy.visualization.DynalloyVisualizerController.buildSatisfiableSolution(DynalloyVisualizerController.java:340)
at ar.uba.dc.rfm.dynalloy.visualization.DynalloyVisualizerController.execute(DynalloyVisualizerController.java:454)
at ar.uba.dc.rfm.dynalloy.visualization.DynalloyVisualizerController.translateAndExecute(DynalloyVisualizerController.java:93)
at ar.uba.dc.rfm.dynalloy.visualization.gui.DynAlloyVizGUI$ExecuteAction.actionPerformed(DynAlloyVizGUI.java:804)
at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2012)
at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2335)
at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:404)
at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259)
at javax.swing.AbstractButton.doClick(AbstractButton.java:374)
at javax.swing.AbstractButton.doClick(AbstractButton.java:354)
at javax.swing.plaf.basic.BasicMenuItemUI$Actions.actionPerformed(BasicMenuItemUI.java:798)
at javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1664)
at javax.swing.JComponent.processKeyBinding(JComponent.java:2851)
at javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:687)
at javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:695)
at javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:695)
at javax.swing.JMenuBar.processKeyBinding(JMenuBar.java:666)
at javax.swing.KeyboardManager.fireBinding(KeyboardManager.java:285)
at javax.swing.KeyboardManager.fireKeyboardAction(KeyboardManager.java:272)
at javax.swing.JComponent.processKeyBindingsForAllComponents(JComponent.java:2928)
at javax.swing.JComponent.processKeyBindings(JComponent.java:2920)
at javax.swing.JComponent.processKeyEvent(JComponent.java:2814)
at java.awt.Component.processEvent(Component.java:5980)
at java.awt.Container.processEvent(Container.java:2105)
at java.awt.Component.dispatchEventImpl(Component.java:4564)
at java.awt.Container.dispatchEventImpl(Container.java:2163)
at java.awt.Component.dispatchEvent(Component.java:4390)
at java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1881)
at java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:749)
at java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1025)
at java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:892)
at java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:713)
at java.awt.Component.dispatchEventImpl(Component.java:4434)
at java.awt.Container.dispatchEventImpl(Container.java:2163)
at java.awt.Window.dispatchEventImpl(Window.java:2478)
at java.awt.Component.dispatchEvent(Component.java:4390)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:649)
at java.awt.EventQueue.access$000(EventQueue.java:96)
at java.awt.EventQueue$1.run(EventQueue.java:608)
at java.awt.EventQueue$1.run(EventQueue.java:606)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:105)
at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:116)
at java.awt.EventQueue$2.run(EventQueue.java:622)
at java.awt.EventQueue$2.run(EventQueue.java:620)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:105)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:619)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:275)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:200)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:190)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:185)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:177)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:138)

[thermo]