Created attachment 277 [details]
A minimal example to demo the bug
In uppaal-stratego-4.1.20-pre4, the syntax highlighting in Declarations does not agree with how other parts of the GUI parses the code. Example Declarations:
These three lines are highlighted as brown, green/black, and brown. Green/black meaning that it is active, uncommented code. However, when I refer to 'x' in a template, I get "Unknown identifier: x".