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

Bug 547

Summary: Null pointer exception
Product: UPPAAL Reporter: Jakob Haahr Taankvist <jht>
Component: GUIAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: blocker CC: jht
Priority: P5    
Version: 4.1.13   
Hardware: Macintosh   
OS: Mac OS   
Architecture:

Description Jakob Haahr Taankvist 2013-02-25 15:11:36 CET 
On mac OS X 10.8.2:

Open the GUI,
Draw one place,
Go to the simulator,
Accept to upload the model to the server,
Go back to the editor,
A NullPointerException is now thrown and the GUI is from then unusable.

This is both a problem in the 32bit and the 64bit version (run on a 64bit system)

We also tested this on Linux Debian, where it does not seem to be a problem.