activated[i]  = manager.isPluginActivated(identifier[i]); checkBox[i].setSelected(activated[i]); deprecated[i] = manager.isPluginDeprecated(identifier[i]); if (deprecated[i]) { checkBox[i].setEnabled(false); }
	private void loadPluginList() {		Iterator it = manager.getPluginIterator();		LinkedList list = new LinkedList();				while (it.hasNext()) {			list.add(it.next());		}				int size = list.size();		plugin     = new Plugin[size];		name       = new String[size];		identifier = new String[size];		activated  = new boolean[size];		deprecated = new boolean[size];				it = list.iterator();				for (int i=0; it.hasNext(); i++) {			plugin[i]     = (Plugin)it.next();			identifier[i] = plugin[i].getIdentifier();			name[i]       = plugin[i].getName();			activated[i]  = manager.isPluginActivated(identifier[i]);			checkBox[i].setSelected(activated[i]);			deprecated[i] = manager.isPluginDeprecated(identifier[i]);			if (deprecated[i]) {				checkBox[i].setEnabled(false);			}		}	}