#15 AV in Uppaal PORT if TA-declaration lacks \";\"

[Davor Slutej]

Uppaal PORT crashes with an access violation if the Declarations property of a TA has this:

int a

instead of this:

int a;

...

Should not produce an AV even if input is illegal. Alternatively, generation could check formatting.