TTool crash when Latency pragma is invalid
For instance, TTool crashes with the following errors when entering this pragma in the coffeeMachine: Pragma: Latency(CoffeeMachine., CoffeeButton) < 10
Exception in thread "AWT-EventQueue-0" java.lang.ArrayIndexOutOfBoundsException: 1 at ui.AvatarDesignPanelTranslator.checkPerformancePragma(AvatarDesignPanelTranslator.java:271) at ui.AvatarDesignPanelTranslator.createPragmas(AvatarDesignPanelTranslator.java:231) at ui.AvatarDesignPanelTranslator.generateAvatarSpecification(AvatarDesignPanelTranslator.java:120) at ui.GTURTLEModeling.checkAvatarDesign(GTURTLEModeling.java:4132) at ui.MainGUI.checkModelingSyntax(MainGUI.java:3585) at ui.MainGUI.checkModelingSyntax(MainGUI.java:3392) at ui.MainGUI.modelChecking(MainGUI.java:3377) at ui.ActionPerformer.actionPerformed(ActionPerformer.java:161) at ui.MainGUI.actionPerformed(MainGUI.java:8731) at ui.TGUIAction.actionPerformed(TGUIAction.java:1293) at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2022) at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2348)