configure = new Button(console, SWT.NONE);
configure.addSelectionListener(new SelectionListener() {
public void widgetSelected(SelectionEvent e) {
if (doCheck){
new UnConfigureTools("Remove "+getTitle()+" tools", project, getBundle(),getAdditionAction(),showNote()).run(new NullProgressMonitor());
refreshText();
}
else{
new ConfigureTools("Add "+getTitle()+" tools", project, getBundle(),showNote()).run(new NullProgressMonitor());
refreshText();