Erro multithread ModelDemo

[Aristoteles Marçal]

Hi,

I am trying to use the modedemo example as multithreaded and this error is appearing. Can someone help me?

Bug: Ok expected
       at com.uppaal.engine.Parser.parseProlog(Parser.java:54)
       at com.uppaal.engine.Parser.parseEnabledTransitions(Parser.java:336)
       at com.uppaal.engine.DotProtocol.getTransitions(DotProtocol.java:100)
       at com.uppaal.engine.EngineStub.getTransitions(EngineStub.java:685)
       at com.uppaal.engine.Engine.getTransitions(Engine.java:278)
       at ModelSUMO.runModel(ModelSUMO.java:293)
       at ModelSUMO.run(ModelSUMO.java:87)
       at java.lang.Thread.run(Thread.java:748)