/** * for debugging. * * @return a String array containing all mnemos for which help files exist */ public String[] getMnemoList() { return helpcache.keySet().toArray(new String[helpcache.size()]); }