I tried to add a new color type and two variables of this new color type. Then remove the second one and I get the following:
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException: Cannot invoke "Object.equals(Object)" because the return value of "javax.swing.JList.getSelectedValue()" is null
at net.tapaal.gui.petrinet.editor.ConstantsPane.enableButtons(ConstantsPane.java:455)
at net.tapaal.gui.petrinet.editor.ConstantsPane$VariablesListModel.removeElement(ConstantsPane.java:807)
at net.tapaal.gui.petrinet.editor.ConstantsPane.removeVariables(ConstantsPane.java:697)
at net.tapaal.gui.petrinet.editor.ConstantsPane.lambda$addConstantsButtons$2(ConstantsPane.java:399)
I tried to add a new color type and two variables of this new color type. Then remove the second one and I get the following:
Exception in thread "AWT-EventQueue-0" java.lang. NullPointerExce ption: Cannot invoke "Object. equals( Object) " because the return value of "javax. swing.JList. getSelectedValu e()" is null gui.petrinet. editor. ConstantsPane. enableButtons( ConstantsPane. java:455) gui.petrinet. editor. ConstantsPane$ VariablesListMo del.removeEleme nt(ConstantsPan e.java: 807) gui.petrinet. editor. ConstantsPane. removeVariables (ConstantsPane. java:697) gui.petrinet. editor. ConstantsPane. lambda$ addConstantsBut tons$2( ConstantsPane. java:399)
at net.tapaal.
at net.tapaal.
at net.tapaal.
at net.tapaal.