{
{  Event oldStyleEvent = Component.translateEvent(event); if (oldStyleEvent != null) { postEvent(oldStyleEvent); }
public final void dispatchEvent(AWTEvent event){  // See comment in Component.dispatchEvent().  dispatchEventImpl(event);}