Buggy code:
public void setPath ( String path ) { } public String [ ] getParts ( ) { } public Iterator iterator ( ) { } public boolean isFilesystemOnly ( ) { } public int size ( ) { } } private Boolean preserveBC ; private Union union = null ; private boolean cache = false ; public Path ( Project p , String path ) { } public Path ( Project project ) { } public void setLocation ( File location ) throws BuildException { } public void setPath ( String path ) throws BuildException { } public void setRefid ( Reference r ) throws BuildException { } public Path . PathElement createPathElement ( ) throws BuildException { } public void addFileset ( FileSet fs ) throws BuildException { } public void addFilelist ( FileList fl ) throws BuildException { } public void addDirset ( DirSet dset ) throws BuildException { } public void add ( Path path ) throws BuildException { } public void add ( ResourceCollection c ) { } public Path createPath ( ) throws BuildException { } public void append ( Path other ) { } public void addExisting ( Path source ) { } public void addExisting ( Path source , boolean tryUserDir ) { } public void setCache ( boolean b ) { } public String [ ] list ( ) { } public String toString ( ) { } public static String [ ] translatePath ( Project project , String source ) { } public static String translateFile ( String source ) { } protected static boolean translateFileSep ( StringBuffer buffer , int pos ) { } public synchronized int size ( ) { } public Object clone ( ) { } protected synchronized void dieOnCircularReference ( Stack stk , Project p ) throws BuildException { } private static File resolveFile ( Project project , String relativeName ) { } public Path concatSystemClasspath ( ) { } public Path concatSystemClasspath ( String defValue ) { } public Path concatSystemBootClasspath ( String defValue ) { } private Path concatSpecialPath ( String defValue , Path p ) { } public void addJavaRuntime ( ) { if ( JavaEnvUtils . isKaffe ( ) ) { File kaffeShare = new File ( ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + "share" ) + ( File . separator ) ) + "kaffe" ) ) ; if ( kaffeShare . isDirectory ( ) ) { FileSet kaffeJarFiles = new FileSet ( ) ; kaffeJarFiles . setDir ( kaffeShare ) ; kaffeJarFiles . setIncludes ( "*.jar" ) ; addFileset ( kaffeJarFiles ) ; } } else if ( "GNU<seq2seq4repair_space>libgcj" . equals ( System . getProperty ( "java.vm.name" ) ) ) { addExisting ( Path . systemBootClasspath ) ; } <START_BUG> if ( ( System . getProperty ( "java.vendor" ) . toLowerCase ( Locale . US ) . indexOf ( "microsoft" ) ) >= 0 ) { <END_BUG> FileSet msZipFiles = new FileSet ( ) ; msZipFiles . setDir ( new File ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + "Packages" ) ) ) ; msZipFiles . setIncludes ( "*.ZIP" ) ; addFileset ( msZipFiles ) ; } else { addExisting ( new Path ( null , ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + "lib" ) + ( File . separator ) ) + "rt.jar" ) ) ) ; addExisting ( new Path ( null , ( ( ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + "jre" ) + ( File . separator ) ) + "lib" ) + ( File . separator ) ) + "rt.jar" ) ) ) ; String [ ] secJars = new String [ ] { "jce" , "jsse" } ; for ( int i = 0 ; i < ( secJars . length ) ; i ++ ) { addExisting ( new Path ( null , ( ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + "lib" ) + ( File . separator ) ) + ( secJars [ i ] ) ) + ".jar" ) ) ) ; addExisting ( new Path ( null , ( ( ( ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + ".." ) + ( File . separator ) ) + "Classes" ) + ( File . separator ) ) + ( secJars [ i ] ) ) + ".jar" ) ) ) ; } String [ ] ibmJars = new String [ ] { "core" , "graphics" , "security" , "server" , "xml" } ; for ( int i = 0 ; i < ( ibmJars . length ) ; i ++ ) { addExisting ( new Path ( null , ( ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + "lib" ) + ( File . separator ) ) + ( ibmJars [ i ] ) ) + ".jar" ) ) ) ; } addExisting ( new Path ( null , ( ( ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + ".." ) + ( File . separator ) ) + "Classes" ) + ( File . separator ) ) + "classes.jar" ) ) ) ; addExisting ( new Path ( null , ( ( ( ( ( ( ( System . getProperty ( "java.home" ) ) + ( File . separator ) ) + ".." ) + ( File . separator ) ) + "Classes" ) + ( File . separator ) ) + "ui.jar" ) ) ) ; } }

Fix:
if ( ( System . getProperty ( "java.vendor" ) . toLowerCase ( Locale . ENGLISH ) . indexOf ( "microsoft" ) ) >= 0 ) {