Well, I've done some further research now, and we're apparently dealing with a known problem with java and so called "dead keys". Since I'm no expert on how Linux deals with keyboards/keymaps, I have no idea what to do with this piece of information.
Also I've tried out a little test app from
netbeans.org, wich outputs info on key events. The output fom pressing Alt-Gr + Vert. bar is:
Code:
java.awt.event.KeyEvent[KEY_PRESSED,keyCode=65406,keyText=Alt Graph,keyChar=Undefined keyChar,modifiers=Alt Graph,extModifiers=Alt Graph,keyLocation=KEY_LOCATION_STANDARD] <snip>
--------------------------------------------------------------------------------
java.awt.event.KeyEvent[KEY_PRESSED,keyCode=129,keyText=Dead Acute,keyChar=Undefined keyChar,keyLocation=KEY_LOCATION_STANDARD] <snip>
--------------------------------------------------------------------------------
java.awt.event.KeyEvent[KEY_RELEASED,keyCode=129,keyText=Dead Acute,keyChar=Undefined keyChar,keyLocation=KEY_LOCATION_STANDARD] <snip>
--------------------------------------------------------------------------------
java.awt.event.KeyEvent[KEY_RELEASED,keyCode=65406,keyText=Alt Graph,keyChar=Undefined keyChar,modifiers=Alt Graph,extModifiers=Alt Graph,keyLocation=KEY_LOCATI ON_STANDARD] <snip>
--------------------------------------------------------------------------------
Unfortunately this setup (NetBeans + Sun JDK) works perfectly in Win32.
C'mon, we can't let them win this one!?