throw new ProtocolException();
}
// save launch button if exists
if (currentBuffer.hasInsertionPoint()) {
currentBuffer.restoreInsertionPoint();
Element launchElement = currentBuffer.getCurrentElement();
launchElement.remove();
launchElement.insertAfter(wizardElement);
}
}