Hi JKI
Today I have encountered a bug with your tool. I have tried to create one new state inside JKI State Machine explore (and inside state menu too) with character "-" inside Name (Ex: Data: Test-T1) and the tool creates a state name like separator name "-------T1------". And that not all, this name state becomes the new name of the "Idle" state diagram, and it creates à new empty name state with a copy of the "Idle" State diagram.
Really strange...