KeyBinding binding = (KeyBinding)bindings.elementAt(i);
ShortcutsOptionPane.KeyBinding binding = (ShortcutsOptionPane.KeyBinding) bindings.elementAt(i);
	public void save()	{		for(int i = 0; i < bindings.size(); i++)		{			KeyBinding binding = (KeyBinding)bindings.elementAt(i);			jEdit.setProperty(binding.name + ".shortcut",binding.shortcut);		}	}