A fix to 4737679 works only if Alt+non-numpad navigation key is pressed. If typed is Alt+numpad navigation key, we still have a character typed in JTextArea.

As a side note, we've found the fix to 4737679 should be explicitly restricted by navigation keys only since otherwise it breaks AltGr behavior in many European locales.