New version 6.0.4
Small bug fixes and several improvements in the built-in graphical state diagram editor.