System.err.println("menu label is null: "
Log.log(Log.ERROR,GUIUtilities.class, "Menu label is null: "
	public static JMenu loadMenu(View view, String name)	{		if(name == null)			return null;		JMenu menu = view.getMenu(name);		if(menu == null)		{			String label = jEdit.getProperty(name + ".label");			if(label == null)			{				System.err.println("menu label is null: "					+ name);				return null;			}			int index = label.indexOf('$');			if(index != -1 && label.length() - index > 1)			{				menu = new JMenu(label.substring(0,index)					.concat(label.substring(++index)));				menu.setMnemonic(Character.toLowerCase(label					.charAt(index)));			}			else				menu = new JMenu(label);		}		else			return menu;		String menuItems = jEdit.getProperty(name);		if(menuItems != null)		{			StringTokenizer st = new StringTokenizer(menuItems);			while(st.hasMoreTokens())			{				String menuItemName = st.nextToken();				if(menuItemName.equals("-"))					menu.addSeparator();				else				{					JMenuItem mi = loadMenuItem(view,menuItemName);					if(mi != null)						menu.add(mi);				}			}		}		return menu;	}