Buggy code:
public class JavaProject extends Openable implements IProjectNature , IJavaProject { protected static final String [ ] NO_PREREQUISITES = new String [ 0 ] ; protected static final boolean IS_CASE_SENSITIVE = ! ( new File ( "Temp" ) . equals ( new File ( "temp" ) ) ) ; protected IProject fProject ; public JavaProject ( ) { } public JavaProject ( IProject project , IJavaElement parent ) { } protected void addToBuildSpec ( String builderID ) throws CoreException { } public static IPath canonicalizedPath ( IPath externalPath ) { } protected void closing ( Object info ) throws JavaModelException { } public IPackageFragmentRoot [ ] computePackageFragmentRoots ( boolean retrieveExportedRoots ) { } public void computePackageFragmentRoots ( ObjectVector accumulatedRoots , HashSet rootIDs , boolean insideOriginalProject , boolean checkExistency , boolean retrieveExportedRoots ) { } public void computePackageFragmentRoots ( IClasspathEntry entry , ObjectVector accumulatedRoots , HashSet rootIDs , boolean insideOriginalProject , boolean checkExistency , boolean retrieveExportedRoots ) { } public String computeSharedPropertyFileName ( QualifiedName qName ) { } public void configure ( ) throws CoreException { } protected OpenableElementInfo createElementInfo ( ) { } public void deconfigure ( ) throws CoreException { } protected IClasspathEntry [ ] defaultClasspath ( ) throws JavaModelException { } protected IPath defaultOutputLocation ( ) throws JavaModelException { } public boolean equals ( Object o ) { } public IJavaElement findElement ( IPath path ) throws JavaModelException { } public IPackageFragment findPackageFragment ( IPath path ) throws JavaModelException { } public IPackageFragment findPackageFragment0 ( IPath path ) throws JavaModelException { } public IPackageFragmentRoot findPackageFragmentRoot ( IPath path ) throws JavaModelException { } public IPackageFragmentRoot findPackageFragmentRoot0 ( IPath path ) throws JavaModelException { } protected boolean generateInfos ( OpenableElementInfo info , IProgressMonitor pm , Map newElements , IResource underlyingResource ) throws JavaModelException { } public IPackageFragmentRoot [ ] getAllPackageFragmentRoots ( ) throws JavaModelException { } protected String getClasspathAsXMLString ( IClasspathEntry [ ] classpath , IPath outputLocation ) throws JavaModelException { } public IClasspathEntry [ ] getResolvedClasspathContainer ( IPath containerPath ) { Map projectContainers = ( ( Map ) ( Containers . get ( this ) ) ) ; if ( projectContainers == null ) { projectContainers = new HashMap ( 1 ) ; Containers . put ( this , projectContainers ) ; } IClasspathEntry [ ] entries = ( ( IClasspathEntry [ ] ) ( projectContainers . get ( containerPath ) ) ) ; if ( entries == ( ContainerInitializationInProgress ) ) return null ; if ( entries == null ) { ClasspathContainerResolver resolver = JavaModelManager . getClasspathContainerResolver ( containerPath ) ; if ( resolver != null ) { projectContainers . put ( containerPath , ContainerInitializationInProgress ) ; entries = resolver . resolve ( containerPath , this ) ; if ( entries != null ) { projectContainers . put ( containerPath , entries ) ; } <START_BUG> if ( VARIABLE_VERBOSE ) { <END_BUG> System . out . print ( ( ( "CPContainer<seq2seq4repair_space>INIT<seq2seq4repair_space>-<seq2seq4repair_space>after<seq2seq4repair_space>resolution:<seq2seq4repair_space>" + containerPath ) + "<seq2seq4repair_space>--><seq2seq4repair_space>{" ) ) ; if ( entries != null ) { for ( int i = 0 ; i < ( entries . length ) ; i ++ ) { if ( i > 0 ) System . out . println ( ",<seq2seq4repair_space>" ) ; System . out . println ( entries [ i ] ) ; } } System . out . println ( "}" ) ; } } } return entries ; } public IClasspathEntry getClasspathEntryFor ( IPath path ) throws JavaModelException { } public QualifiedName getClasspathPropertyName ( ) { } protected static Element getEntryAsXMLElement ( Document document , IClasspathEntry entry , IPath prefixPath ) throws JavaModelException { } protected char getHandleMementoDelimiter ( ) { } private ICommand getJavaCommand ( IProjectDescription description ) throws CoreException { } public IJavaProject getJavaProject ( ) { } protected JavaProjectElementInfo getJavaProjectElementInfo ( ) throws JavaModelException { } public NameLookup getNameLookup ( ) throws JavaModelException { } public Object [ ] getNonJavaResources ( ) throws JavaModelException { } public IPath getOutputLocation ( ) throws JavaModelException { } public IPackageFragmentRoot getPackageFragmentRoot ( String jarPath ) { } public IPackageFragmentRoot getPackageFragmentRoot0 ( String jarPath ) { } public IPackageFragmentRoot getPackageFragmentRoot ( IResource resource ) { } public IPackageFragmentRoot getPackageFragmentRoot ( IPath path ) { } public IPackageFragmentRoot [ ] getPackageFragmentRoots ( ) throws JavaModelException { } protected IPackageFragmentRoot [ ] getPackageFragmentRoots ( IPath path ) throws JavaModelException { } public IPackageFragmentRoot [ ] getPackageFragmentRoots ( IClasspathEntry entry ) { } public IPackageFragment [ ] getPackageFragments ( ) throws JavaModelException { } public IPackageFragment [ ] getPackageFragmentsInRoots ( IPackageFragmentRoot [ ] roots ) { } public IPath getPath ( ) { } public IResource getResource ( ) { } public IProject getProject ( ) { } public IClasspathEntry [ ] getRawClasspath ( ) throws JavaModelException { } public String [ ] getRequiredProjectNames ( ) throws JavaModelException { } public IClasspathEntry [ ] getResolvedClasspath ( boolean ignoreUnresolvedVariable ) throws JavaModelException { } public IClasspathEntry [ ] getResolvedClasspath ( boolean ignoreUnresolvedVariable , boolean generateMarkerOnError ) throws JavaModelException { } public IClasspathEntry [ ] getExpandedClasspath ( boolean ignoreUnresolvedVariable ) throws JavaModelException { } public IClasspathEntry [ ] getExpandedClasspath ( boolean ignoreUnresolvedVariable , boolean generateMarkerOnError ) throws JavaModelException { } private void computeExpandedClasspath ( JavaProject initialProject , boolean ignoreUnresolvedVariable , boolean generateMarkerOnError , HashSet visitedProjects , ObjectVector accumulatedEntries ) throws JavaModelException { } public ISearchableNameEnvironment getSearchableNameEnvironment ( ) throws JavaModelException { } public String getSharedProperty ( QualifiedName key ) throws CoreException { } public SourceMapper getSourceMapper ( ) { } public IResource getUnderlyingResource ( ) throws JavaModelException { } public boolean hasBuildState ( ) { } public boolean hasClasspathCycle ( IClasspathEntry [ ] entries ) { } public int hashCode ( ) { } public boolean hasSource ( ) { } public boolean isClasspathEqualsTo ( IClasspathEntry [ ] otherClasspathWithOutput ) throws JavaModelException { } public boolean isOnClasspath ( IJavaElement element ) throws JavaModelException { } static int kindFromString ( String kindStr ) { } static String kindToString ( int kind ) { } public String loadClasspath ( ) throws JavaModelException { }

Fix:
if ( JavaModelManager . CP_RESOLVE_VERBOSE ) {