302303304305306307308309310311312
} }; classpathSetupTab = new ClasspathSetupTab(tabs); mappingSetupTab = new MappingSetupTab(tabs); advancedSetupTab = new AdvancedSetupTab(tabs); tabs.addSelectionListener(new SelectionAdapter() { public void widgetSelected(SelectionEvent e) {