Buggy code:
public class Project { public static final int MSG_ERR = 0 ; public static final int MSG_WARN = 1 ; public static final int MSG_INFO = 2 ; public static final int MSG_VERBOSE = 3 ; private static final String VISITING = "VISITING" ; private static final String VISITED = "VISITED" ; private static String javaVersion ; public static final String JAVA_1_0 = "1.0" ; public static final String JAVA_1_1 = "1.1" ; public static final String JAVA_1_2 = "1.2" ; public static final String JAVA_1_3 = "1.3" ; public static final String TOKEN_START = "@" ; public static final String TOKEN_END = "@" ; private String name ; private PrintStream out ; private int msgOutputLevel = Project . MSG_INFO ; private Hashtable properties = new Hashtable ( ) ; private Hashtable userProperties = new Hashtable ( ) ; private String defaultTarget ; private Hashtable taskClassDefinitions = new Hashtable ( ) ; private Hashtable targets = new Hashtable ( ) ; private Hashtable filters = new Hashtable ( ) ; private File baseDir ; public Project ( PrintStream out , int msgOutputLevel ) { } public PrintStream getOutput ( ) { } public int getOutputLevel ( ) { } public void log ( String msg ) { } public void log ( String msg , int msgLevel ) { } public void log ( String msg , String tag , int msgLevel ) { } public void setProperty ( String name , String value ) { } public void setUserProperty ( String name , String value ) { <START_BUG> log ( ( ( ( "Setting<seq2seq4repair_space>project<seq2seq4repair_space>property:<seq2seq4repair_space>" + name ) + "<seq2seq4repair_space>-><seq2seq4repair_space>" ) + value ) , Project . MSG_VERBOSE ) ; <END_BUG> userProperties . put ( name , value ) ; properties . put ( name , value ) ; } public String getProperty ( String name ) { } public Hashtable getProperties ( ) { } public void setDefaultTarget ( String defaultTarget ) { } public String getDefaultTarget ( ) { } public void setDefault ( String defaultTarget ) { } public void setName ( String name ) { } public String getName ( ) { } public void addFilter ( String token , String value ) { } public Hashtable getFilters ( ) { } public void setBasedir ( String baseD ) throws BuildException { } public void setBaseDir ( File baseDir ) { } public File getBaseDir ( ) { } public static String getJavaVersion ( ) { } private void detectJavaVersion ( ) { } public void addTaskDefinition ( String taskName , Class taskClass ) { } public void addTarget ( Target target ) { } public void addTarget ( String targetName , Target target ) throws BuildException { } public void addOrReplaceTarget ( Target target ) { } public void addOrReplaceTarget ( String targetName , Target target ) { } public Task createTask ( String taskType ) throws BuildException { } public void executeTarget ( String targetName ) throws BuildException { } public File resolveFile ( String fileName ) { } public String translatePath ( String to_process ) { } public void copyFile ( String sourceFile , String destFile ) throws IOException { } public void copyFile ( String sourceFile , String destFile , boolean filtering ) throws IOException { } public void copyFile ( File sourceFile , File destFile ) throws IOException { } public void copyFile ( File sourceFile , File destFile , boolean filtering ) throws IOException { } private String replace ( String s , Hashtable tokens ) { } public static boolean toBoolean ( String s ) { } private final void runTarget ( String target , Hashtable targets ) throws BuildException { } private final Vector topoSort ( String root , Hashtable targets ) throws BuildException { } private final void tsort ( String root , Hashtable targets , Hashtable state , Stack visiting , Vector ret ) throws BuildException { } private static BuildException makeCircularException ( String end , Stack stk ) { } }

Fix:
log ( ( ( ( "Setting<seq2seq4repair_space>ro<seq2seq4repair_space>project<seq2seq4repair_space>property:<seq2seq4repair_space>" + name ) + "<seq2seq4repair_space>-><seq2seq4repair_space>" ) + value ) , Project . MSG_VERBOSE ) ;