Bug 609 - Cannot export query file in uppaal 4.1.19
Summary: Cannot export query file in uppaal 4.1.19
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.19
Hardware: PC Linux
: P5 minor
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2016-09-12 15:24 CEST by mirkomsn93
Modified: 2016-09-14 10:25 CEST (History)
1 user (show)

See Also:
Architecture:


Attachments
The exception message as I try to export a query in a separate file. (2.80 KB, text/plain)
2016-09-12 15:24 CEST, mirkomsn93
Details

Note You need to log in before you can comment on or make changes to this bug.
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.