Buggy code:
public class ProjectBrowser extends JFrame implements PropertyChangeListener , NavigationListener , IStatusBar { protected static Category cat = Category . getInstance ( ProjectBrowser . class ) ; public static final int DEFAULT_COMPONENTWIDTH = 220 ; public static final int DEFAULT_COMPONENTHEIGHT = 200 ; public static ProjectBrowser TheInstance ; protected String _appName = "ProjectBrowser" ; protected MultiEditorPane _editorPane ; protected DetailsPane _northEastPane ; protected DetailsPane _northPane ; protected DetailsPane _northWestPane ; protected DetailsPane _eastPane ; protected DetailsPane _southEastPane ; protected DetailsPane _southPane ; private Map detailsPanesByCompassPoint = new HashMap ( ) ; private GenericArgoMenuBar _menuBar ; protected StatusBar _statusBar = new StatusBar ( ) ; public Font defaultFont = new Font ( "Dialog" , Font . PLAIN , 10 ) ; protected BorderSplitPane _workarea ; private NavigationHistory _history = new NavigationHistory ( ) ; private ArgoDiagram _activeDiagram ; private SplashScreen _splash ; private NavigatorPane _navPane ; private ToDoPane _todoPane ; private Object _target ; private boolean isDoingSelection ; public ProjectBrowser ( ) { } public ProjectBrowser ( String appName , boolean doSplash ) { } public Locale getLocale ( ) { } private void appendPluggableMenus ( JMenuItem menuitem , String key ) { } protected Component createPanels ( boolean doSplash ) { } public void setTitle ( String title ) { } public String getAppName ( ) { } public void setAppName ( String n ) { } private void startSelectionTransaction ( ) { } private boolean isInSelectionTransaction ( ) { } private void selectionTransactionEnded ( ) { } public void setTarget ( Object o ) { } public Object getTarget ( ) { } public void setActiveDiagram ( ArgoDiagram ad ) { } public ArgoDiagram getActiveDiagram ( ) { } public void setToDoItem ( Object o ) { } private void setDetailsTarget ( Object o ) { } public Object getDetailsTarget ( ) { } public TabProps getTabProps ( ) { } public StatusBar getStatusBar ( ) { } public JMenuBar getJMenuBar ( ) { } public MultiEditorPane getEditorPane ( ) { } public void selectTabNamed ( String tabName ) { Iterator it = detailsPanesByCompassPoint . values ( ) . iterator ( ) ; while ( it . hasNext ( ) ) { DetailsPane detailsPane = ( ( DetailsPane ) ( it . next ( ) ) ) ; <START_BUG> if ( detailsPane . selectTabNamed ( tabName ) ) <END_BUG> return ; } throw new IllegalArgumentException ( ( "No<seq2seq4repair_space>such<seq2seq4repair_space>tab<seq2seq4repair_space>named<seq2seq4repair_space>" + tabName ) ) ; } public JPanel getNamedTab ( String tabName ) { } public void jumpToDiagramShowing ( VectorSet dms ) { } public void setVisible ( boolean b ) { } public void showStatus ( String s ) { } public void navigateTo ( Object element ) { } public void open ( Object element ) { } public boolean navigateBack ( boolean attempt ) { } public boolean navigateForward ( boolean attempt ) { } public boolean isNavigateBackEnabled ( ) { } public boolean isNavigateForwardEnabled ( ) { } public void saveScreenConfiguration ( ) { } public void moduleUnloaded ( ArgoModuleEvent event ) { } public void moduleEnabled ( ArgoModuleEvent event ) { } public void moduleDisabled ( ArgoModuleEvent event ) { } private DetailsPane makeDetailsPane ( String compassPoint , Orientation orientation ) { } class WindowCloser extends WindowAdapter { public WindowCloser ( ) { } public void windowClosing ( WindowEvent e ) { } } public void propertyChange ( PropertyChangeEvent evt ) { } public ToDoPane getTodoPane ( ) { } public NavigatorPane getNavigatorPane ( ) { } public SplashScreen getSplashScreen ( ) { } public void setSplashScreen ( SplashScreen splash ) { } }

Fix:
if ( detailsPane . selectTabNamed ( Argo . localize ( "UMLMenu" , tabName ) ) )