Java não produz o evento chave AltGr adequado

Estou pressionando a tecla AltGr no meu aplicativo Java, mas em vez de receber um KeyEvent com o código de chave VK_ALT_GRAPH, recebo dois eventos. O primeiro com o código de chave VK_CONTROL e o segundo com VK_ALT.

Este é o comportamento correto?

Usando o Java 7 no Windows 7. Pode ser reproduzido com o aplicativo de demonstração encontrado emhttp: //docs.oracle.com/javase/tutorial/uiswing/events/keylistener.htm

Quando pressiono AltGr, ele informa:

KEY PRESSED:
  key code = 17 (Ctrl)
  extended modifiers = 128 (Ctrl)
  action key? NO
  key location: left
KEY PRESSED:
  key code = 18 (Alt)
  extended modifiers = 640 (Ctrl+Alt)
  action key? NO
  key location: right
KEY RELEASED:
  key code = 17 (Ctrl)
  extended modifiers = 512 (Alt)
  action key? NO
  key location: left
KEY RELEASED:
  key code = 18 (Alt)
  extended modifiers = 0 (no extended modifiers)
  action key? NO
  key location: right

questionAnswers(1)

yourAnswerToTheQuestion