JFaceUtil.initializeJFacePreferences();
// create workbench window manager
windowManager = new WindowManager();
IIntroRegistry introRegistry = WorkbenchPlugin.getDefault()
.getIntroRegistry();
if (introRegistry.getIntroCount() > 0) {
IProduct product = Platform.getProduct();
if (product != null) {
introDescriptor = (IntroDescriptor) introRegistry
.getIntroForProduct(product.getId());
}
}
// Initialize the activity support.