bindings = new Vector(actions.length);
	KeyTableModel()	{		EditAction[] actions = jEdit.getActions();		bindings = new Vector(actions.length);		for(int i = 0; i < actions.length; i++)		{			String name = actions[i].getName();			String label = jEdit.getProperty(name + ".label");			if(label == null)				continue;			label = GUIUtilities.prettifyMenuLabel(label);			String shortcut = jEdit.getProperty(name + ".shortcut");			addKeyBinding(new KeyBinding(name,label,shortcut));		}	}