It is so exciting that UPPAAL has muti-language support for, for example,
Chinese. But there are several severe problem with MUI interface.
First, a lot sub-menu with shortcut key are error coded in the menu bar. I
believe this kinda problem will be showing in not only Chinese version. More
over, the very first item in the design tree of editor tab has the same
problem, on this way, it only shows "L:".
Second, there "should" have a option somewhere to let the user decide which
language to use, or at least somewhere easy to find, cause I didn't find it
anywhere. MUI shouldn't only reference to the language of the system.

both problems are happening in Ubuntu/Windows. But in Solaris, the software
starts up with English interface.

Erroneous characters have been fixed in the menus. The L: problem is gone.
See the FAQ for changing languages. Shortcuts have been kept. If there are
still problems, please reopen the bug.