When ever i try to save my project, it opens a saving dialog defaulted to the name /usr/UserName/SomePath/<undefined>. If i use this file name it throws an error saying that i used an invalide file extension. If I rename the file from default path and name I get the same error, unless i explicitly enter XML as file extension like: /some/path/here/filename.xml
Other students using other operating systems do not seem to have this problem.
I have a 64bit version 4.1.20-beta3(1) version of UPPAAL installed on OSX 10.11.3.
Peter, could you take a look?