This seems to be traced back to an error with the query in the model. The xml-file contains an empty malformed query, and the check to test if you are deleting a place used in a query fails. I expect you can see the error, as when you load the file TAPAAL prints to std.err: "No query was specified: [Ljava.lang.StackTraceElement;@3125ee71"
This seems to be traced back to an error with the query in the model. The xml-file contains an empty malformed query, and the check to test if you are deleting a place used in a query fails. I expect you can see the error, as when you load the file TAPAAL prints to std.err: "No query was specified: [Ljava. lang.StackTrace Element; @3125ee71"