Buggy code:
public class Jar extends Zip { private static final String INDEX_NAME = "META-INF//INDEX.LIST" ; private static final String MANIFEST_NAME = "META-INF//MANIFEST.MF" ; private List serviceList = new ArrayList ( ) ; private Manifest configuredManifest ; private Manifest savedConfiguredManifest ; private Manifest filesetManifest ; private Manifest originalManifest ; private Jar . FilesetManifestConfig filesetManifestConfig ; private boolean mergeManifestsMain = true ; private Manifest manifest ; private String manifestEncoding ; private File manifestFile ; private boolean index = false ; private boolean indexMetaInf = false ; private boolean createEmpty = false ; private Vector rootEntries ; private Path indexJars ; private Jar . StrictMode strict = new Jar . StrictMode ( "ignore" ) ; private static final ZipExtraField [ ] JAR_MARKER = new ZipExtraField [ ] { JarMarker . getInstance ( ) } ; public Jar ( ) { } public void setWhenempty ( WhenEmpty we ) { } public void setWhenmanifestonly ( WhenEmpty we ) { } public void setStrict ( Jar . StrictMode strict ) { } public void setJarfile ( File jarFile ) { } public void setIndex ( boolean flag ) { } public void setIndexMetaInf ( boolean flag ) { } public void setManifestEncoding ( String manifestEncoding ) { } public void addConfiguredManifest ( Manifest newManifest ) throws ManifestException { } public void setManifest ( File manifestFile ) { } private Manifest getManifest ( File manifestFile ) { } private Manifest getManifestFromJar ( File jarFile ) throws IOException { } private Manifest getManifest ( Reader r ) { } private boolean jarHasIndex ( File jarFile ) throws IOException { } public void setFilesetmanifest ( Jar . FilesetManifestConfig config ) { } public void addMetainf ( ZipFileSet fs ) { } public void addConfiguredIndexJars ( Path p ) { } public void addConfiguredService ( Service service ) { } private void writeServices ( ZipOutputStream zOut ) throws IOException { } protected void initZipOutputStream ( ZipOutputStream zOut ) throws IOException , BuildException { } private Manifest createManifest ( ) throws BuildException { } private void writeManifest ( ZipOutputStream zOut , Manifest manifest ) throws IOException { } protected void finalizeZipOutputStream ( ZipOutputStream zOut ) throws IOException , BuildException { } private void createIndexList ( ZipOutputStream zOut ) throws IOException { } protected void zipFile ( InputStream is , ZipOutputStream zOut , String vPath , long lastModified , File fromArchive , int mode , ZipExtraField [ ] extra ) throws IOException { } private void filesetManifest ( File file , InputStream is ) throws IOException { } protected ArchiveState getResourcesToAdd ( ResourceCollection [ ] rcs , File zipFile , boolean needsUpdate ) throws BuildException { if ( skipWriting ) { return new ArchiveState ( true , grabManifests ( rcs ) ) ; } if ( zipFile . exists ( ) ) { try { originalManifest = getManifestFromJar ( zipFile ) ; if ( ( originalManifest ) == null ) { log ( ( "Updating<seq2seq4repair_space>jar<seq2seq4repair_space>since<seq2seq4repair_space>the<seq2seq4repair_space>current<seq2seq4repair_space>jar<seq2seq4repair_space>has" + "<seq2seq4repair_space>no<seq2seq4repair_space>manifest" ) , MSG_VERBOSE ) ; needsUpdate = true ; } else { Manifest mf = createManifest ( ) ; if ( ! ( mf . equals ( originalManifest ) ) ) { log ( ( "Updating<seq2seq4repair_space>jar<seq2seq4repair_space>since<seq2seq4repair_space>jar<seq2seq4repair_space>manifest<seq2seq4repair_space>has" + "<seq2seq4repair_space>changed" ) , MSG_VERBOSE ) ; needsUpdate = true ; } } } catch ( Throwable t ) { <START_BUG> log ( ( ( "error<seq2seq4repair_space>while<seq2seq4repair_space>reading<seq2seq4repair_space>original<seq2seq4repair_space>manifest<seq2seq4repair_space>in<seq2seq4repair_space>file:<seq2seq4repair_space>" + ( zipFile . toString ( ) ) ) + ( t . getMessage ( ) ) ) , MSG_WARN ) ; <END_BUG> needsUpdate = true ; } } else { needsUpdate = true ; } createEmpty = needsUpdate ; if ( ( ! needsUpdate ) && ( index ) ) { try { needsUpdate = ! ( jarHasIndex ( zipFile ) ) ; } catch ( IOException e ) { needsUpdate = true ; } } return super . getResourcesToAdd ( rcs , zipFile , needsUpdate ) ; } protected boolean createEmptyZip ( File zipFile ) throws BuildException { } protected void cleanUp ( ) { } private void checkJarSpec ( ) { } public void reset ( ) { } public static class FilesetManifestConfig extends EnumeratedAttribute { public String [ ] getValues ( ) { } } protected final void writeIndexLikeList ( List dirs , List files , PrintWriter writer ) throws IOException { } protected static String findJarName ( String fileName , String [ ] classpath ) { } protected static void grabFilesAndDirs ( String file , List dirs , List files ) throws IOException { } private Resource [ ] [ ] grabManifests ( ResourceCollection [ ] rcs ) { } public static class StrictMode extends EnumeratedAttribute { public StrictMode ( ) { } public StrictMode ( String value ) { } public String [ ] getValues ( ) { } public int getLogLevel ( ) { } } }

Fix:
log ( ( ( ( "error<seq2seq4repair_space>while<seq2seq4repair_space>reading<seq2seq4repair_space>original<seq2seq4repair_space>manifest<seq2seq4repair_space>in<seq2seq4repair_space>file:<seq2seq4repair_space>" + ( zipFile . toString ( ) ) ) + "<seq2seq4repair_space>due<seq2seq4repair_space>to<seq2seq4repair_space>" ) + ( t . getMessage ( ) ) ) , MSG_WARN ) ;