Map.Entry entry = (Map.Entry)iter.next();
String name = (String)entry.getKey();
String shortcut1 = jEdit.getProperty(name + ".shortcut");
if(shortcut1 != null)
inputHandler.addKeyBinding(shortcut1,name);
String shortcut2 = jEdit.getProperty(name + ".shortcut2");
if(shortcut2 != null)
inputHandler.addKeyBinding(shortcut2,name);
}