structureViewManager.getDefaultViewProperties());
structureViewManager.setDefaultFileView(structureView);
fileStructurePanel = new StructureViewPanel(structureView);
}
viewManager = new BrowserViewManager();
optionsFrame = new OptionsFrame(iconRegistry);
initialized = true;
} catch (Throwable t) {
Message error = new Message("AJDE UI failed to initialize", IMessage.ABORT, t, null);