This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 609 - Cannot export query file in uppaal 4.1.19
Summary: Cannot export query file in uppaal 4.1.19
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.19
Hardware: PC Linux
: P5 minor
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2016-09-12 15:24 CEST by mirkomsn93
Modified: 2019-10-28 14:16 CET (History)
2 users (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
Add an attachment (proposed patch, testcase, etc.)

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.
Comment 1 Marius Mikučionis 2019-10-28 14:16:23 CET 
Fixed since 4.1.20