state.setAttributes(wc);
ILaunchConfiguration config = wc.doSave();
IConsoleManager manager = ConsolePlugin.getDefault().getConsoleManager();
final TextConsole[] console=new TextConsole[1];
manager.addConsoleListener(new IConsoleListener(){
public void consolesAdded(IConsole[] consoles) {
console[0]=((TextConsole)consoles[0]);
console[0].activate();
}
public void consolesRemoved(IConsole[] consoles) {