@@ -105,10 +105,11 @@ return new ChangeListener() { public void stateChanged(ChangeEvent e) {} }; } + @SuppressWarnings("deprecation") public boolean isPopupTrigger(MouseEvent e) { return ((e.getID()==MouseEvent.MOUSE_PRESSED) && ((e.getModifiers() & MouseEvent.BUTTON3_MASK)!=0)); } }