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