Summary: | Unknown Tag Error | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Baki ERZURUMLU <berzurumlu> |
Component: | GUI | Assignee: | Marius Mikučionis <marius> |
Status: | ASSIGNED --- | ||
Severity: | blocker | CC: | berzurumlu, cumhuree, marius |
Priority: | P2 | ||
Version: | 4.1.3 | ||
Hardware: | Other | ||
OS: | Windows XP | ||
Architecture: |
Description
Baki ERZURUMLU
2011-05-02 19:31:40 CEST
This is very old bug. It seems to be limited to JVM and/or GUI. I could not reproduce it with current version and there is no further information, thus I am closing it. Feel free to reopen if you have more information. (In reply to comment #1) > This is very old bug. It seems to be limited to JVM and/or GUI. > I could not reproduce it with current version and there is no further > information, thus I am closing it. > Feel free to reopen if you have more information. I experience the same problem with Uppaal versions 4.0 and 4.1. I tried them on 3 different computers, installed the newest Java version, but I keep getting the same error. Could you help me with that? Cumhur, I need to be able to reproduce the problem and I can't, so I am just guessing. I need to know the precise version of Uppaal, Java and Windows. Try it from command line: 1) start cmd.exe, 2) visit the uppaal directory with "cd c:\uppaal-4.1.19" (or whatever the path is) Does the installation path is on a local drive or network? Does the installation path contain spaces or other special characters? 3) start uppaal: "java -jar uppaal.jar" -- post the errors here 4) inspect the java version: "java -version" -- post the result here 5) list the content of installation directory and post the result here (check if the freehep*jar libraries are there): dir dir lib Got some new information from yahoogroup that the symptoms are specific to Turkish locale. Some googling revealed that the letter 'i' is upper-cased to a completely different letter under Turkish locale than in English (as most other locales do). Some information can be found here: http://mattryall.net/blog/2009/02/the-infamous-turkish-locale-bug Subsequently all the naive up-casing code (using system default locale) is broken. In particular SwiXML library breaks when converting checkboxmenuitem, and the old FreeHEP library was probably guilty of converting 'gif' into 'GIF' naively. A workaround is to change the system locale to English. The proper fix is to use English locale explicitly when manipulating system/library specific strings. |