public void keyPressed (KeyEvent e) {
		int mod = e.getModifiersEx();
		int keycode = e.getKeyCode();
		if ((mod == e.VK_CONTROL) && (keycode == e.VK_W)) {