Enumeration enum = jEdit.getBuffers(); while(enum.hasMoreElements())
Buffer[] bufferArray = jEdit.getBuffers(); for(int i = 0; i < bufferArray.length; i++)
	public void updateBuffersMenu()	{		if(buffers.getMenuComponentCount() != 0)			buffers.removeAll();		ButtonGroup grp = new ButtonGroup();		Enumeration enum = jEdit.getBuffers();		while(enum.hasMoreElements())		{			Buffer b = (Buffer)enum.nextElement();			String name = b.getPath();			Object[] args = { name, new Integer(b.isReadOnly() ? 1: 0),				new Integer(b.isDirty() ? 1 : 0),				new Integer(0), null };			JRadioButtonMenuItem menuItem =				new JRadioButtonMenuItem(jEdit.getProperty(					"view.title",args));			menuItem.addActionListener(jEdit.getAction("select-buffer"));			grp.add(menuItem);			menuItem.setActionCommand(name);			if(buffer == b)				menuItem.getModel().setSelected(true);			buffers.add(menuItem);		}