System.err.println("Menu item label is null: " + name);
Log.log(Log.ERROR,GUIUtilities.class, "Menu item label is null: " + name);
	public static JMenuItem loadMenuItem(View view, String name)	{		if(name.startsWith("%"))			return loadMenu(view,name.substring(1));		String arg;		String action;		int index = name.indexOf('@');		if(index != -1)		{			arg = name.substring(index+1);			action = name.substring(0,index);		}		else		{			arg = null;			action = name;		}		JMenuItem mi;                String label = jEdit.getProperty(name.concat(".label"));		String keyStroke = jEdit.getProperty(name.concat(".shortcut"));		if(label == null)		{			System.err.println("Menu item label is null: "				+ name);			return null;		}		index = label.indexOf('$');                if(index != -1 && label.length() - index > 1)		{			mi = new EnhancedMenuItem(label.substring(0,index)				.concat(label.substring(++index)),keyStroke);                        mi.setMnemonic(Character.toLowerCase(label.charAt(index)));		}		else			mi = new EnhancedMenuItem(label,keyStroke);				EditAction a = jEdit.getAction(action);		if(a == null)			mi.setEnabled(false);		else			mi.addActionListener(a);		mi.setActionCommand(arg);		return mi;	}