AWTEventMulticaster.remove (windowFocusListener, wfl);
windowFocusListener = AWTEventMulticaster.remove (windowFocusListener, wfl);
  public void removeWindowFocusListener (WindowFocusListener wfl)  {    AWTEventMulticaster.remove (windowFocusListener, wfl);  }