public PrefsAction ( Map mnemonics ) { super ("Preferences",null);
public PrefsAction ( Map mnemonics ){ super ("Preferences...",null);
        public PrefsAction ( Map mnemonics )        {            super ("Preferences",null);	    mnemonics.put( this, new Integer ('P'));        }