for(int i = 0; i < plugins.size(); i++) { vector.addElement(plugins.elementAt(i)); }
EditPlugin[] array = new EditPlugin[plugins.size()]; plugins.copyInto(array); return array;
		public void getPlugins(Vector vector)		{			for(int i = 0; i < plugins.size(); i++)			{				vector.addElement(plugins.elementAt(i));			}		}