return name.toString();
}
private String stripMnemonicFromResource(String key) {
ResourceBundle resources = TextDocumentPage.getResources();
MnemonicStringFactory mnemonics = ApplicationResources.MNEMONIC_FACTORY;
String s = resources.getString(key);
return mnemonics.asText(s);
}