@@ -377,10 +377,11 @@ e.setSource(parent); ((MenuComponent)parent).dispatchEvent(e); } } else { // backward compatibility + @SuppressWarnings("deprecation") Event olde = e.convertToOld(); if (olde != null) { postEvent(olde); } }