private static void originalDefaultAction(ActionEvent e, JTextArea textArea) {
		// Insert char into textArea (Code taken from javax.swing.text.DefaultEditorKit.DefaultKeyTypedAction class)
		String content = e.getActionCommand();
		int mod = e.getModifiers();
		if ((content != null) && (content.length() > 0) && ((mod & ActionEvent.ALT_MASK) == (mod & ActionEvent.CTRL_MASK))) {
			char ch = content.charAt(0);
			
			switch(ch) {
				case KeyEvent.VK_ENTER:
				case KeyEvent.VK_TAB:
				case KeyEvent.VK_ESCAPE:
					return;
			}
			
			if ((ch >= 0x20) && (ch != 0x7F)) {
				textArea.replaceSelection(content);
			}
		}
	}