Activity log for bug #2007676

Date Who What changed Old value New value Message
2023-02-17 10:43:56 Jiri Srba bug added bug
2023-02-21 13:57:05 Jiri Srba attachment added elevator-cpn3.tapn https://bugs.launchpad.net/tapaal/+bug/2007676/+attachment/5648949/+files/elevator-cpn3.tapn
2023-02-21 14:01:44 Jiri Srba attachment added elevator-cpn3.tapn https://bugs.launchpad.net/tapaal/+bug/2007676/+attachment/5648950/+files/elevator-cpn3.tapn
2023-02-23 15:26:03 Kenneth Yrke Jørgensen attachment added product-w-range.tapn https://bugs.launchpad.net/tapaal/+bug/2007676/+attachment/5649580/+files/product-w-range.tapn
2023-02-23 15:33:17 Kenneth Yrke Jørgensen summary Cannot save net - index out of bounds Loading net with product color with int-rage fails
2023-02-23 15:33:24 Kenneth Yrke Jørgensen description In cpn branch I have a problem to save a net as I get: java.lang.ArrayIndexOutOfBoundsException: Array index out of range: 0 at java.base/java.util.Vector.get(Vector.java:750) at dk.aau.cs.model.CPN.Expressions.AddExpression.toString(AddExpression.java:176) at dk.aau.cs.io.writeTACPN.appendColoredPlaceDependencies(writeTACPN.java:370) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.createPlaceElement(TimedArcPetriNetNetworkWriter.java:481) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendPlaces(TimedArcPetriNetNetworkWriter.java:269) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendTemplates(TimedArcPetriNetNetworkWriter.java:253) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:114) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:136) at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1816) at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1830) at pipe.gui.petrinet.PetriNetTab.saveNet(PetriNetTab.java:1836) at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:528) at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:510) at net.tapaal.helpers.Reference.Reference.ifPresent(Reference.java:29) at pipe.gui.GuiFrame$4.actionPerformed(GuiFrame.java:94) at java.desktop/javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1972) at java.desktop/javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2313) at java.desktop/javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:405) at java.desktop/javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:262) at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:374) at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:354) at java.desktop/javax.swing.plaf.basic.BasicMenuItemUI$Actions.actionPerformed(BasicMenuItemUI.java:983) at java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810) at java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2947) at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:710) at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717) at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717) at java.desktop/javax.swing.JMenuBar.processKeyBinding(JMenuBar.java:688) at java.desktop/javax.swing.KeyboardManager.fireBinding(KeyboardManager.java:311) at java.desktop/javax.swing.KeyboardManager.fireKeyboardAction(KeyboardManager.java:297) at java.desktop/javax.swing.JComponent.processKeyBindingsForAllComponents(JComponent.java:3040) at java.desktop/javax.swing.SwingUtilities.processKeyBindings(SwingUtilities.java:1731) at java.desktop/javax.swing.UIManager$2.postProcessKeyEvent(UIManager.java:1549) at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:894) at java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1150) at java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1020) at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:848) at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4882) at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2324) at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2780) at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833) at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773) at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:722) at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:716) at java.base/java.security.AccessController.doPrivileged(AccessController.java:399) at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86) at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:97) at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:746) at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:744) at java.base/java.security.AccessController.doPrivileged(AccessController.java:399) at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86) at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:743) at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) java.lang.ArrayIndexOutOfBoundsException: Array index out of range: 0 at java.base/java.util.Vector.get(Vector.java:750) at dk.aau.cs.model.CPN.Expressions.AddExpression.toString(AddExpression.java:176) at dk.aau.cs.io.writeTACPN.appendColoredPlaceDependencies(writeTACPN.java:370) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.createPlaceElement(TimedArcPetriNetNetworkWriter.java:481) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendPlaces(TimedArcPetriNetNetworkWriter.java:269) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendTemplates(TimedArcPetriNetNetworkWriter.java:253) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:114) at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:136) at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1816) at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1830) at pipe.gui.petrinet.PetriNetTab.saveNet(PetriNetTab.java:1836) at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:528) at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:510) at net.tapaal.helpers.Reference.Reference.ifPresent(Reference.java:29) at pipe.gui.GuiFrame$4.actionPerformed(GuiFrame.java:94) at java.desktop/javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1972) at java.desktop/javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2313) at java.desktop/javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:405) at java.desktop/javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:262) at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:374) at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:354) at java.desktop/javax.swing.plaf.basic.BasicMenuItemUI$Actions.actionPerformed(BasicMenuItemUI.java:983) at java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810) at java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2947) at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:710) at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717) at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717) at java.desktop/javax.swing.JMenuBar.processKeyBinding(JMenuBar.java:688) at java.desktop/javax.swing.KeyboardManager.fireBinding(KeyboardManager.java:311) at java.desktop/javax.swing.KeyboardManager.fireKeyboardAction(KeyboardManager.java:297) at java.desktop/javax.swing.JComponent.processKeyBindingsForAllComponents(JComponent.java:3040) at java.desktop/javax.swing.SwingUtilities.processKeyBindings(SwingUtilities.java:1731) at java.desktop/javax.swing.UIManager$2.postProcessKeyEvent(UIManager.java:1549) at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:894) at java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1150) at java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1020) at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:848) at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4882) at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2324) at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2780) at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833) at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773) at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:722) at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:716) at java.base/java.security.AccessController.doPrivileged(AccessController.java:399) at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86) at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:97) at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:746) at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:744) at java.base/java.security.AccessController.doPrivileged(AccessController.java:399) at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86) at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:743) at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90 In cpn branch I have a problem to save a net as I get: java.lang.ArrayIndexOutOfBoundsException: Array index out of range: 0         at java.base/java.util.Vector.get(Vector.java:750)         at dk.aau.cs.model.CPN.Expressions.AddExpression.toString(AddExpression.java:176)         at dk.aau.cs.io.writeTACPN.appendColoredPlaceDependencies(writeTACPN.java:370)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.createPlaceElement(TimedArcPetriNetNetworkWriter.java:481)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendPlaces(TimedArcPetriNetNetworkWriter.java:269)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendTemplates(TimedArcPetriNetNetworkWriter.java:253)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:114)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:136)         at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1816)         at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1830)         at pipe.gui.petrinet.PetriNetTab.saveNet(PetriNetTab.java:1836)         at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:528)         at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:510)         at net.tapaal.helpers.Reference.Reference.ifPresent(Reference.java:29)         at pipe.gui.GuiFrame$4.actionPerformed(GuiFrame.java:94)         at java.desktop/javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1972)         at java.desktop/javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2313)         at java.desktop/javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:405)         at java.desktop/javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:262)         at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:374)         at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:354)         at java.desktop/javax.swing.plaf.basic.BasicMenuItemUI$Actions.actionPerformed(BasicMenuItemUI.java:983)         at java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)         at java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2947)         at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:710)         at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717)         at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717)         at java.desktop/javax.swing.JMenuBar.processKeyBinding(JMenuBar.java:688)         at java.desktop/javax.swing.KeyboardManager.fireBinding(KeyboardManager.java:311)         at java.desktop/javax.swing.KeyboardManager.fireKeyboardAction(KeyboardManager.java:297)         at java.desktop/javax.swing.JComponent.processKeyBindingsForAllComponents(JComponent.java:3040)         at java.desktop/javax.swing.SwingUtilities.processKeyBindings(SwingUtilities.java:1731)         at java.desktop/javax.swing.UIManager$2.postProcessKeyEvent(UIManager.java:1549)         at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:894)         at java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1150)         at java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1020)         at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:848)         at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4882)         at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2324)         at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2780)         at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833)         at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773)         at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:722)         at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:716)         at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)         at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)         at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:97)         at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:746)         at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:744)         at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)         at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)         at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:743)         at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)         at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)         at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)         at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)         at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)         at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) java.lang.ArrayIndexOutOfBoundsException: Array index out of range: 0         at java.base/java.util.Vector.get(Vector.java:750)         at dk.aau.cs.model.CPN.Expressions.AddExpression.toString(AddExpression.java:176)         at dk.aau.cs.io.writeTACPN.appendColoredPlaceDependencies(writeTACPN.java:370)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.createPlaceElement(TimedArcPetriNetNetworkWriter.java:481)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendPlaces(TimedArcPetriNetNetworkWriter.java:269)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.appendTemplates(TimedArcPetriNetNetworkWriter.java:253)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:114)         at dk.aau.cs.io.TimedArcPetriNetNetworkWriter.savePNML(TimedArcPetriNetNetworkWriter.java:136)         at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1816)         at pipe.gui.petrinet.PetriNetTab.writeNetToFile(PetriNetTab.java:1830)         at pipe.gui.petrinet.PetriNetTab.saveNet(PetriNetTab.java:1836)         at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:528)         at net.tapaal.gui.GuiFrameController.save(GuiFrameController.java:510)         at net.tapaal.helpers.Reference.Reference.ifPresent(Reference.java:29)         at pipe.gui.GuiFrame$4.actionPerformed(GuiFrame.java:94)         at java.desktop/javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1972)         at java.desktop/javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2313)         at java.desktop/javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:405)         at java.desktop/javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:262)         at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:374)         at java.desktop/javax.swing.AbstractButton.doClick(AbstractButton.java:354)         at java.desktop/javax.swing.plaf.basic.BasicMenuItemUI$Actions.actionPerformed(BasicMenuItemUI.java:983)         at java.desktop/javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:1810)         at java.desktop/javax.swing.JComponent.processKeyBinding(JComponent.java:2947)         at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:710)         at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717)         at java.desktop/javax.swing.JMenuBar.processBindingForKeyStrokeRecursive(JMenuBar.java:717)         at java.desktop/javax.swing.JMenuBar.processKeyBinding(JMenuBar.java:688)         at java.desktop/javax.swing.KeyboardManager.fireBinding(KeyboardManager.java:311)         at java.desktop/javax.swing.KeyboardManager.fireKeyboardAction(KeyboardManager.java:297)         at java.desktop/javax.swing.JComponent.processKeyBindingsForAllComponents(JComponent.java:3040)         at java.desktop/javax.swing.SwingUtilities.processKeyBindings(SwingUtilities.java:1731)         at java.desktop/javax.swing.UIManager$2.postProcessKeyEvent(UIManager.java:1549)         at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:894)         at java.desktop/java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1150)         at java.desktop/java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:1020)         at java.desktop/java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:848)         at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:4882)         at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2324)         at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2780)         at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833)         at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773)         at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:722)         at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:716)         at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)         at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)         at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:97)         at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:746)         at java.desktop/java.awt.EventQueue$5.run(EventQueue.java:744)         at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)         at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)         at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:743)         at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)         at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)         at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)         at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)         at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)         at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90
2023-02-23 15:33:28 Kenneth Yrke Jørgensen tapaal: importance Undecided Critical
2023-02-25 17:32:23 Jiri Srba attachment added elevator-cpn5.tapn https://bugs.launchpad.net/tapaal/+bug/2007676/+attachment/5649984/+files/elevator-cpn5.tapn
2023-02-26 08:45:08 Jiri Srba attachment added elevator-cpn6.tapn https://bugs.launchpad.net/tapaal/+bug/2007676/+attachment/5650050/+files/elevator-cpn6.tapn
2023-02-26 08:45:39 Jiri Srba summary Loading net with product color with int-rage fails Loading net with product colors fails
2023-03-17 14:00:55 Jiri Srba attachment added elevator-cpn5.tapn https://bugs.launchpad.net/tapaal/+bug/2007676/+attachment/5655133/+files/elevator-cpn5.tapn
2023-03-17 17:41:31 Jiri Srba attachment added elevator-cpn7.tapn https://bugs.launchpad.net/tapaal/+bug/2007676/+attachment/5655166/+files/elevator-cpn7.tapn
2023-05-07 19:34:11 Jiri Srba tapaal: status New Fix Committed