*** 499,508 **** --- 499,509 ---- /* * This function is called from XWindow * @see XWindow.handleF10onEDT() */ + @SuppressWarnings("deprecation") void handleF10KeyPress(KeyEvent event) { int keyState = event.getModifiers(); if (((keyState & InputEvent.ALT_MASK) != 0) || ((keyState & InputEvent.SHIFT_MASK) != 0) || ((keyState & InputEvent.CTRL_MASK) != 0)) {