Buggy code:
public final class Workbench implements IWorkbench { private static final String [ ] VERSION_STRING = new String [ ] { "0.046" , "2.0" } ; private static final String DEFAULT_WORKBENCH_STATE_FILENAME = "workbench.xml" ; private static final int RESTORE_CODE_OK = 0 ; private static final int RESTORE_CODE_RESET = 1 ; private static final int RESTORE_CODE_EXIT = 2 ; private static Workbench instance ; private static WorkbenchTestable testableObject ; private Display display ; private WindowManager windowManager ; private WorkbenchWindow activatedWindow ; private EditorHistory editorHistory ; private boolean runEventLoop = true ; private boolean isStarting = true ; private boolean isClosing = false ; private int returnCode ; private ListenerList windowListeners = new ListenerList ( ) ; private WorkbenchAdvisor advisor ; private WorkbenchConfigurer workbenchConfigurer ; private ExtensionEventHandler extensionEventHandler ; private Workbench ( Display display , WorkbenchAdvisor advisor ) { } public static final Workbench getInstance ( ) { } public static final int createAndRunWorkbench ( Display display , WorkbenchAdvisor advisor ) { } public static Display createDisplay ( ) { } public static WorkbenchTestable getWorkbenchTestable ( ) { } public void addWindowListener ( IWindowListener l ) { } public void removeWindowListener ( IWindowListener l ) { } protected void fireWindowOpened ( final IWorkbenchWindow window ) { } protected void fireWindowClosed ( final IWorkbenchWindow window ) { } protected void fireWindowActivated ( final IWorkbenchWindow window ) { } protected void fireWindowDeactivated ( final IWorkbenchWindow window ) { } private boolean busyClose ( final boolean force ) { } public boolean saveAllEditors ( boolean confirm ) { } private IWorkbenchWindow busyOpenWorkbenchWindow ( String perspID , IAdaptable input ) throws WorkbenchException { } public boolean close ( ) { } boolean close ( int returnCode , final boolean force ) { } public IWorkbenchWindow getActiveWorkbenchWindow ( ) { } protected EditorHistory getEditorHistory ( ) { } public IEditorRegistry getEditorRegistry ( ) { } private int getNewWindowNumber ( ) { } public IPerspectiveRegistry getPerspectiveRegistry ( ) { } public PreferenceManager getPreferenceManager ( ) { } public IPreferenceStore getPreferenceStore ( ) { } public ISharedImages getSharedImages ( ) { } WindowManager getWindowManager ( ) { } private File getWorkbenchStateFile ( ) { } public int getWorkbenchWindowCount ( ) { } public IWorkbenchWindow [ ] getWorkbenchWindows ( ) { } public IWorkingSetManager getWorkingSetManager ( ) { } private boolean init ( ImageDescriptor windowImage , Display display ) { } private void initializeApplicationColors ( ) { } private void installColor ( ColorDefinition definition , ColorRegistry registry , IPreferenceStore store ) { } private void initializeSingleClickOption ( ) { } private void initializeFonts ( ) { } private void installFont ( String fontKey , FontRegistry registry , IPreferenceStore store ) { } private void initializeImages ( ImageDescriptor windowImage ) { } private void initializeColors ( ) { } public boolean isClosing ( ) { } boolean isStarting ( ) { } private WorkbenchWindow newWorkbenchWindow ( ) { } private void forceOpenPerspective ( ) { } private void openFirstTimeWindow ( ) { } private int openPreviousWorkbenchState ( ) { } public IWorkbenchWindow openWorkbenchWindow ( IAdaptable input ) throws WorkbenchException { } public IWorkbenchWindow openWorkbenchWindow ( final String perspID , final IAdaptable input ) throws WorkbenchException { } private XMLMemento recordWorkbenchState ( ) { } public boolean restart ( ) { } private IStatus restoreState ( IMemento memento ) { } public IPluginDescriptor [ ] getEarlyActivatedPlugins ( ) { } private void startPlugins ( ) { } private int runUI ( ) { } private void runEventLoop ( Window . IExceptionHandler handler , Display display ) { } private IStatus saveState ( IMemento memento ) { } private boolean saveMementoToFile ( XMLMemento memento ) { } public IWorkbenchPage showPerspective ( String perspectiveId , IWorkbenchWindow window ) throws WorkbenchException { } public IWorkbenchPage showPerspective ( String perspectiveId , IWorkbenchWindow window , IAdaptable input ) throws WorkbenchException { } private void shutdown ( ) { } public IDecoratorManager getDecoratorManager ( ) { } private WorkbenchWindow getActivatedWindow ( ) { } void setActivatedWindow ( WorkbenchWindow window ) { } WorkbenchConfigurer getWorkbenchConfigurer ( ) { } WorkbenchAdvisor getAdvisor ( ) { } public Display getDisplay ( ) { } public String getDefaultPerspectiveId ( ) { } public IAdaptable getDefaultPageInput ( ) { } public String getMainPreferencePageId ( ) { } public IElementFactory getElementFactory ( String factoryId ) { } public IProgressService getProgressService ( ) { } private IWorkbenchActivitySupport workbenchActivitySupport ; private IWorkbenchCommandSupport workbenchCommandSupport ; private IWorkbenchContextSupport workbenchContextSupport ; public IWorkbenchActivitySupport getActivitySupport ( ) { } public IWorkbenchCommandSupport getCommandSupport ( ) { } public IWorkbenchContextSupport getContextSupport ( ) { } public WorkbenchCommandsAndContexts workbenchCommandsAndContexts = new WorkbenchCommandsAndContexts ( this ) ; private ActivityPersistanceHelper activityHelper ; public Object getAdapter ( Class adapter ) { } public IActivityManager getActivityManager ( ) { } public ICommandManager getCommandManager ( ) { } public void setEnabledActivityIds ( Set enabledActivityIds ) { } public boolean closeIntro ( IIntroPart part ) { } public IIntroPart showIntro ( IWorkbenchWindow preferredWindow ) { } private void createIntro ( WorkbenchWindow preferredWindow ) { if ( ( getIntroDescriptor ( ) ) == null ) return ; WorkbenchPage workbenchPage = preferredWindow . getActiveWorkbenchPage ( ) ; try { <START_BUG> workbenchPage . showView ( INTRO_VIEW_ID , true ) ; <END_BUG> setIntroStandby ( introPart , false ) ; } catch ( PartInitException e ) { WorkbenchPlugin . log ( IntroMessages . getString ( "Intro.could_not_create_part" ) , new Status ( IStatus . ERROR , WorkbenchPlugin . PI_WORKBENCH , IStatus . ERROR , IntroMessages . getString ( "Intro.could_not_create_part" ) , e ) ) ; } } public void setIntroStandby ( IIntroPart part , boolean standby ) { } public boolean isIntroStandby ( IIntroPart part ) { } public IIntroPart findIntro ( ) { } private ViewIntroAdapterPart getViewIntroAdapterPart ( ) { } IIntroPart createNewIntroPart ( ) throws CoreException { } IntroDescriptor getIntroDescriptor ( ) { } public IIntroRegistry getIntroRegistry ( ) { } private IIntroPart introPart ; private IntroDescriptor introDescriptor ; }

Fix:
workbenchPage . showView ( INTRO_VIEW_ID ) ;