Various hacks to get keyboard event handling to behave in a consistent manner
across Java implementations. This type of stuff should not be necessary, but
Java's keyboard handling is crap, to put it mildly.
author: Slava Pestov version: $Id: KeyEventWorkaround.java 11038 2007-11-12 20:43:13Z kpouer $