if (fm instanceof FocusManager) return (FocusManager) fm; else { System.err.println("The Swing FocusManager API has been obsoleted by"); System.err.println("the new KeyboardFocusManager system."); System.err.println("You should either not use the Swing FocusManager"); System.err.println("API or set the system property"); System.err.println ("gnu.java.awt.FocusManager=javax.swing.FocusManager"); } return null;
return new WrappingFocusManager(m);
  public static FocusManager getCurrentManager()  {    KeyboardFocusManager fm =      KeyboardFocusManager.getCurrentKeyboardFocusManager();    if (fm instanceof FocusManager)      return (FocusManager) fm;    else      {        System.err.println("The Swing FocusManager API has been obsoleted by");        System.err.println("the new KeyboardFocusManager system.");        System.err.println("You should either not use the Swing FocusManager");        System.err.println("API or set the system property");        System.err.println          ("gnu.java.awt.FocusManager=javax.swing.FocusManager");      }      return null;  }