Uppaal GUI triggers the following exception when template P is opened and syntax
check is triggered (this is done on opening the model). The problem was observed
under Windows and Linux.
"java.lang.IllegalArgumentException: Zero length iterator passed to TextLayout
The problem is triggered, when the syntax checker wants to underline an
assignment containing an error in the case, when there are empty lines
separating assignments on one transition.
Created attachment 14 [details]
A simple model illustrating the crash
Changed platform to all.
A fix has been checked into CVS.