If one includes a comment in a transition, then saves in .xta format,
it appears that Uppaal will report a syntax error where the comment
occurs in the .xta file and be unable to load the file. An example of
the error message is:
Encountered "/" at line XX, column YY
There are actually several problems. This problem is triggered when including a documentation string in the comment tab and when including comments in the guard/sync/assignment field. For the second part, this is part an export problem and part an import problem. If the comment is the last part of the guard, the terminating semicolon will be commented in the XTA file. Even if the comment is at the beginning, the XTA file cannot be read pack into the GUI.
Fixed on the 4.0 branch from rev. 2880 and on the trunk from rev. 2881.