public static MenuSelectionManager defaultManager(){
synchronized (MENU_SELECTION_MANAGER_KEY) {
    AppContext context=AppContext.getAppContext();
    MenuSelectionManager msm=(MenuSelectionManager)context.get(MENU_SELECTION_MANAGER_KEY);
    if (msm == null) {
      msm=new MenuSelectionManager();
      context.put(MENU_SELECTION_MANAGER_KEY,msm);
      Object o=context.get(SwingUtilities2.MENU_SELECTION_MANAGER_LISTENER_KEY);
      if (o != null && o instanceof ChangeListener) {
        msm.addChangeListener((ChangeListener)o);
      }
    }
    return msm;
  }
}

public static MenuSelectionManager defaultManager ( ) { synchronized ( MENU_SELECTION_MANAGER_KEY ) { AppContext context = AppContext . getAppContext ( ) ; MenuSelectionManager msm = ( MenuSelectionManager ) context . get ( MENU_SELECTION_MANAGER_KEY ) ; if ( msm == null ) { msm = new MenuSelectionManager ( ) ; context . put ( MENU_SELECTION_MANAGER_KEY , msm ) ; Object o = context . get ( SwingUtilities2 . MENU_SELECTION_MANAGER_LISTENER_KEY ) ; if ( o != null && o instanceof ChangeListener ) { msm . addChangeListener ( ( ChangeListener ) o ) ; } } return msm ; } }
returns the default menu selection manager .
