Submitted by Marius:
The following string in the guard/sync/assignment causes server to eat
up all the system memory very quickly:
Enter this string in UPPAAL GUI and press F7 to activate this memory
Warning: save all your documents and prepare for killing before you
This bug is triggered by any unclosed comment. Placement does not matter.
A fixed has been checked into CVS.