I have just install version 4.3. There is a very annoying bug in the JPFL designer. If you edit the properties of the Jpd objects (transition/start/rule etc) the test entered is in reverse
ie. If you type the attribute start in the name field it will appear as trats.
This is really a bug that is annoying.
But just click on the symbol of a node in the diagram and then press “F2” so you can edit the name in the diagram. There it is not reverse.