KeyStroke keyStroke = KeyStroke.getKeyStroke(Character.toUpperCase(c));
KeyStroke keyStroke;     if(c == ' ') keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_SPACE,0); else keyStroke = KeyStroke.getKeyStroke(Character.toUpperCase(c));
	public void keyTyped(KeyEvent evt)	{		int modifiers = evt.getModifiers();		char c = evt.getKeyChar();		// ignore		if(c == '\b')			return;		if(currentBindings != bindings)		{			KeyStroke keyStroke = KeyStroke.getKeyStroke(Character.toUpperCase(c));			Object o = currentBindings.get(keyStroke);			if(o instanceof Hashtable)			{				currentBindings = (Hashtable)o;				return;			}			else if(o instanceof EditAction)			{				currentBindings = bindings;				invokeAction((EditAction)o);				return;			}			currentBindings = bindings;		}		if(repeat && Character.isDigit(c))		{			repeatCount *= 10;			repeatCount += (c - '0');		}		else			userInput(c);	}