Create an example with two identical Templates, involving a looping transitions from a state named 'disabled' to itself.
Upon trying to re-read the saved .xta file, Uppaal gives the Error dialog:
"Transition no. 2 from 'disabled' to 'disabled' undeclared, but used in ugi file.
Created attachment 130 [details]
xta file for bug in question
Created attachment 131 [details]
.ugi file accompanying the .xta file in question
That seems to be a bug in the XTA exporter.
Fixed on the 4.0 branch from rev. 2883.
Fixed on the trunk from rev. 2884.