Java не генерирует правильное событие клавиши AltGr

Я нажимаю клавишу AltGr в моем приложении Java, но вместо получения KeyEvent с кодом клавиши VK_ALT_GRAPH я получаю два события. Первый с ключевым кодом VK_CONTROL, а второй с VK_ALT.

Это правильное поведение?

Использование Java 7 в Windows 7. Можно воспроизвести с помощью демонстрационного приложения, которое можно найти на http://docs.oracle.com/javase/tutorial/uiswing/events/keylistener .html

Когда я нажимаю AltGr , он сообщает:

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