Bug 609

Summary: Cannot export query file in uppaal 4.1.19
Product: UPPAAL Reporter: mirkomsn93
Component: GUIAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: minor CC: adavid
Priority: P5    
Version: 4.1.19   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: The exception message as I try to export a query in a separate file.

Description mirkomsn93 2016-09-12 15:24:55 CEST
Created attachment 288 [details]
The exception message as I try to export a query in a separate file.

When I try to export a query file in uppaal 4.1.19 I receive the exception java.lang.NoSuchMethodError:
com.uppaal.gui.Main.getVersion()Ljava/lang/String;

I think that this is due to the fact that when a query file is created, the tool tries to write the version on the first line (as in the stable release), but it cannot find the right function.

In order to help identifying the bug I also append the exception message.