Buggy code:
public class SetClasspathOperation extends JavaModelOperation { IClasspathEntry [ ] oldResolvedPath ; IClasspathEntry [ ] newResolvedPath ; IClasspathEntry [ ] newRawPath ; boolean canChangeResources ; boolean classpathWasSaved ; boolean needCycleCheck ; boolean needValidation ; boolean needSave ; IPath newOutputLocation ; JavaProject project ; boolean identicalRoots ; public static final IClasspathEntry [ ] ReuseClasspath = new IClasspathEntry [ 0 ] ; public static final IClasspathEntry [ ] UpdateClasspath = new IClasspathEntry [ 0 ] ; public static final IPath ReuseOutputLocation = new Path ( "Reuse<seq2seq4repair_space>Existing<seq2seq4repair_space>Output<seq2seq4repair_space>Location" ) ; public SetClasspathOperation ( JavaProject project , IClasspathEntry [ ] oldResolvedPath , IClasspathEntry [ ] newRawPath , IPath newOutputLocation , boolean canChangeResource , boolean needValidation , boolean needSave ) { } protected void addClasspathDeltas ( IPackageFragmentRoot [ ] roots , int flag , JavaElementDelta delta ) { } protected int classpathContains ( IClasspathEntry [ ] list , IClasspathEntry entry ) { } protected void collectAllSubfolders ( IFolder folder , ArrayList collection ) throws JavaModelException { } protected ArrayList determineAffectedPackageFragments ( IPath location ) throws JavaModelException { } protected void executeOperation ( ) throws JavaModelException { updateProjectReferencesIfNecessary ( ) ; saveClasspathIfNecessary ( ) ; JavaModelException originalException = null ; try { if ( ( this . newRawPath ) == ( SetClasspathOperation . UpdateClasspath ) ) this . newRawPath = project . getRawClasspath ( ) ; if ( ( this . newRawPath ) != ( SetClasspathOperation . ReuseClasspath ) ) { updateClasspath ( ) ; project . updatePackageFragmentRoots ( ) ; JavaModelManager . getJavaModelManager ( ) . getDeltaProcessor ( ) . addForRefresh ( project ) ; } } catch ( JavaModelException e ) { originalException = e ; throw e ; } finally { try { if ( ( this . newOutputLocation ) != ( SetClasspathOperation . ReuseOutputLocation ) ) updateOutputLocation ( ) ; } catch ( JavaModelException e ) { if ( originalException != null ) throw originalException ; throw e ; } finally { if ( ( ! ( this . identicalRoots ) ) && ( this . canChangeResources ) ) { try { this . project . getProject ( ) . touch ( this . progressMonitor ) ; } catch ( CoreException e ) { if ( JavaModelManager . CP_RESOLVE_VERBOSE ) { <START_BUG> System . out . println ( ( "CPInit<seq2seq4repair_space>-<seq2seq4repair_space>FAILED<seq2seq4repair_space>to<seq2seq4repair_space>touch<seq2seq4repair_space>project:<seq2seq4repair_space>" + ( this . project . getElementName ( ) ) ) ) ; <END_BUG> e . printStackTrace ( ) ; } } } } } done ( ) ; } protected void generateClasspathChangeDeltas ( ) { } private int getSourceAttachmentDeltaFlag ( IPath oldPath , IPath newPath ) { } public boolean isReadOnly ( ) { } protected void saveClasspathIfNecessary ( ) throws JavaModelException { } public String toString ( ) { } private void updateClasspath ( ) throws JavaModelException { } protected void updateAffectedProjects ( IPath prerequisiteProjectPath ) { } protected void updateCycleMarkersIfNecessary ( ) { } protected void updateOutputLocation ( ) throws JavaModelException { } protected void updateProjectReferencesIfNecessary ( ) throws JavaModelException { } public IJavaModelStatus verify ( ) { } }

Fix:
Util . verbose ( ( "CPContainer<seq2seq4repair_space>INIT<seq2seq4repair_space>-<seq2seq4repair_space>FAILED<seq2seq4repair_space>to<seq2seq4repair_space>touch<seq2seq4repair_space>project:<seq2seq4repair_space>" + ( this . project . getElementName ( ) ) ) , System . err ) ;