Buggy code:
public class Manifest { public static final String ATTRIBUTE_MANIFEST_VERSION = "Manifest-Version" ; public static final String ATTRIBUTE_SIGNATURE_VERSION = "Signature-Version" ; public static final String ATTRIBUTE_NAME = "Name" ; public static final String ATTRIBUTE_FROM = "From" ; public static final String ATTRIBUTE_CLASSPATH = "Class-Path" ; public static final String DEFAULT_MANIFEST_VERSION = "1.0" ; public static final int MAX_LINE_LENGTH = 72 ; public static final int MAX_SECTION_LENGTH = ( Manifest . MAX_LINE_LENGTH ) - 2 ; public static final String EOL = "\r\n" ; public static final String ERROR_FROM_FORBIDDEN = ( ( "Manifest<seq2seq4repair_space>attributes<seq2seq4repair_space>should<seq2seq4repair_space>not<seq2seq4repair_space>start<seq2seq4repair_space>" + "with<seq2seq4repair_space>\"" ) + ( Manifest . ATTRIBUTE_FROM ) ) + "\"<seq2seq4repair_space>in<seq2seq4repair_space>\"" ; public static final String JAR_ENCODING = "UTF-8" ; public static class Attribute { private static final int MAX_NAME_VALUE_LENGTH = 68 ; private static final int MAX_NAME_LENGTH = 70 ; private String name = null ; private Vector values = new Vector ( ) ; private int currentIndex = 0 ; public Attribute ( ) { } public Attribute ( String line ) throws ManifestException { } public Attribute ( String name , String value ) { } public int hashCode ( ) { } public boolean equals ( Object rhs ) { } public void parse ( String line ) throws ManifestException { } public void setName ( String name ) { } public String getName ( ) { } public String getKey ( ) { } public void setValue ( String value ) { } public String getValue ( ) { } public void addValue ( String value ) { } public Enumeration getValues ( ) { } public void addContinuation ( String line ) { } public void write ( PrintWriter writer ) throws IOException { } private void writeValue ( PrintWriter writer , String value ) throws IOException { } } public static class Section { private Vector warnings = new Vector ( ) ; private String name = null ; private Hashtable attributes = new Hashtable ( ) ; private Vector attributeIndex = new Vector ( ) ; public void setName ( String name ) { } public String getName ( ) { } public String read ( BufferedReader reader ) throws IOException , ManifestException { } public void merge ( Manifest . Section section ) throws ManifestException { } public void write ( PrintWriter writer ) throws IOException { } public Manifest . Attribute getAttribute ( String attributeName ) { } public Enumeration getAttributeKeys ( ) { } public String getAttributeValue ( String attributeName ) { } public void removeAttribute ( String attributeName ) { } public void addConfiguredAttribute ( Manifest . Attribute attribute ) throws ManifestException { } public String addAttributeAndCheck ( Manifest . Attribute attribute ) throws ManifestException { } public Object clone ( ) { } private void storeAttribute ( Manifest . Attribute attribute ) { } public Enumeration getWarnings ( ) { } public int hashCode ( ) { } public boolean equals ( Object rhs ) { } } private String manifestVersion = Manifest . DEFAULT_MANIFEST_VERSION ; private Manifest . Section mainSection = new Manifest . Section ( ) ; private Hashtable sections = new Hashtable ( ) ; private Vector sectionIndex = new Vector ( ) ; public static Manifest getDefaultManifest ( ) throws BuildException { InputStream in = null ; InputStreamReader insr = null ; try { String defManifest = "//org//apache//tools//ant//defaultManifest.mf" ; in = Manifest . class . getResourceAsStream ( defManifest ) ; if ( in == null ) { throw new BuildException ( ( "Could<seq2seq4repair_space>not<seq2seq4repair_space>find<seq2seq4repair_space>default<seq2seq4repair_space>manifest:<seq2seq4repair_space>" + defManifest ) ) ; } try { insr = new InputStreamReader ( in , "UTF-8" ) ; Manifest defaultManifest = new Manifest ( insr ) ; <START_BUG> Manifest . Attribute createdBy = new Manifest . Attribute ( "Created-By" , ( ( ( ( System . getProperty ( "java.runtime.version" ) ) + "<seq2seq4repair_space>(" ) + ( System . getProperty ( "java.runtime.vendor" ) ) ) + ")" ) ) ; <END_BUG> defaultManifest . getMainSection ( ) . storeAttribute ( createdBy ) ; return defaultManifest ; } catch ( UnsupportedEncodingException e ) { insr = new InputStreamReader ( in ) ; return new Manifest ( insr ) ; } } catch ( ManifestException e ) { throw new BuildException ( "Default<seq2seq4repair_space>manifest<seq2seq4repair_space>is<seq2seq4repair_space>invalid<seq2seq4repair_space>!!" , e ) ; } catch ( IOException e ) { throw new BuildException ( "Unable<seq2seq4repair_space>to<seq2seq4repair_space>read<seq2seq4repair_space>default<seq2seq4repair_space>manifest" , e ) ; } finally { FileUtils . close ( insr ) ; FileUtils . close ( in ) ; } } public Manifest ( ) { } public Manifest ( Reader r ) throws IOException , ManifestException { } public void addConfiguredSection ( Manifest . Section section ) throws ManifestException { } public void addConfiguredAttribute ( Manifest . Attribute attribute ) throws ManifestException { } public void merge ( Manifest other ) throws ManifestException { } public void merge ( Manifest other , boolean overwriteMain ) throws ManifestException { } public void write ( PrintWriter writer ) throws IOException { } public String toString ( ) { } public Enumeration getWarnings ( ) { } public int hashCode ( ) { } public boolean equals ( Object rhs ) { } public String getManifestVersion ( ) { } public Manifest . Section getMainSection ( ) { } public Manifest . Section getSection ( String name ) { } public Enumeration getSectionNames ( ) { } }

Fix:
Manifest . Attribute createdBy = new Manifest . Attribute ( "Created-By" , ( ( ( ( System . getProperty ( "java.runtime.version" ) ) + "<seq2seq4repair_space>(" ) + ( System . getProperty ( "java.vm.vendor" ) ) ) + ")" ) ) ;