/**
* Initialize the PageSwitcher.
*/
private void initPageSwitcher() {
new PageSwitcher(this) {
public void activatePage(Object page) {
ShowConsoleAction.showConsole((IConsole) page, ConsoleView.this);
}
public ImageDescriptor getImageDescriptor(Object page) {