list.add(plugins.trim());
plugin = plugins.trim(); int locationIndex = plugin.indexOf("("); if (locationIndex >= 0) { String location = plugin.substring(locationIndex+1, plugin.indexOf(")")); location = Integer.toString(Integer.parseInt(location.trim())-1); plugin = plugin.substring(0, locationIndex).trim(); this.pluginLocation.put(plugin, location); }  list.add(plugin.trim());
	private String[] getPlugins(UIComponent component) {				try {			String plugins = ((HTMLArea) component).getPlugins();			if (plugins != null) {				ArrayList list = new ArrayList();				String plugin;				int index = plugins.indexOf(",");				while (index >= 0) {					plugin = plugins.substring(0, index).trim();					System.out.println("Plugin = "+plugin);					int locationIndex = plugin.indexOf("(");					if (locationIndex >= 0) {						String location = plugin.substring(locationIndex+1, plugin.indexOf(")"));						location = Integer.toString(Integer.parseInt(location.trim())-1);						plugin = plugin.substring(0, locationIndex).trim();						this.pluginLocation.put(plugin, location);						System.out.println("  Location = "+location);					}										list.add(plugin);					plugins = plugins.substring(index+1);					index = plugins.indexOf(",");				}								list.add(plugins.trim());				return (String[]) list.toArray(new String[]{});			}		} catch (ClassCastException c) {			c.printStackTrace();		}				// Adding these as default if nothing else if found		return new String[]{"TableOperations", "ContextMenu", "ListType", "CharacterMap", "DynamicCSS", "CSS"};	}