if((modifiers & ~KeyEvent.SHIFT_MASK) == 0)
if(c != KeyEvent.CHAR_UNDEFINED && (modifiers & KeyEvent.ALT_MASK) == 0)
	public void keyTyped(KeyEvent evt)	{		int modifiers = evt.getModifiers();		char c = evt.getKeyChar();		if((modifiers & ~KeyEvent.SHIFT_MASK) == 0)		{			if(c >= 0x20 && c != 0x7f)			{				JEditTextArea textArea = getTextArea(evt);				if(!textArea.isEditable())				{					textArea.getToolkit().beep();					return;				}				currentBindings = bindings;				textArea.overwriteSetSelectedText(String.valueOf(c));			}		}	}