Buggy code:
public class Coverage extends Task { protected File home ; protected Commandline cmdl = new Commandline ( ) ; protected CommandlineJava cmdlJava = new CommandlineJava ( ) ; protected String function = "coverage" ; protected String seedName ; protected File inputFile ; protected File javaExe ; protected String vm ; protected boolean applet = false ; protected String exitPrompt = "never" ; protected Filters filters = new Filters ( ) ; protected Triggers triggers ; protected String finalSnapshot = "coverage" ; protected String recordFromStart = "coverage" ; protected File snapshotDir ; protected File workingDir ; protected boolean trackNatives = false ; protected Socket socket ; protected int warnLevel = 0 ; protected Vector filesets = new Vector ( ) ; public void setHome ( File value ) { } public void setSeedname ( String value ) { } public void setInputfile ( File value ) { } public void setJavaexe ( File value ) { } public static class Javavm extends EnumeratedAttribute { public String [ ] getValues ( ) { } } public void setVm ( Coverage . Javavm value ) { } public void setApplet ( boolean value ) { } public void setExitprompt ( String value ) { } public Filters createFilters ( ) { } public Triggers createTriggers ( ) { } public Socket createSocket ( ) { } public static class Finalsnapshot extends EnumeratedAttribute { public String [ ] getValues ( ) { } } public void setFinalsnapshot ( String value ) { } public static class Recordfromstart extends EnumeratedAttribute { public String [ ] getValues ( ) { } } public void setRecordfromstart ( Coverage . Recordfromstart value ) { } public void setWarnlevel ( Integer value ) { } public void setSnapshotdir ( File value ) { } public void setWorkingdir ( File value ) { } public void setTracknatives ( boolean value ) { } public Argument createJvmarg ( ) { } public Argument createArg ( ) { } public Path createClasspath ( ) { } public void setClassname ( String value ) { } public void addFileset ( FileSet fs ) { } public Coverage ( ) { } public void execute ( ) throws BuildException { } protected void checkOptions ( ) throws BuildException { if ( ( ( home ) == null ) || ( ! ( home . isDirectory ( ) ) ) ) { throw new BuildException ( "Invalid<seq2seq4repair_space>home<seq2seq4repair_space>directory.<seq2seq4repair_space>Must<seq2seq4repair_space>point<seq2seq4repair_space>to<seq2seq4repair_space>JProbe<seq2seq4repair_space>home<seq2seq4repair_space>directory" ) ; } <START_BUG> home = new File ( home , "Coverage" ) ; <END_BUG> File jar = new File ( home , "coverage.jar" ) ; if ( ! ( jar . exists ( ) ) ) { throw new BuildException ( ( "Cannot<seq2seq4repair_space>find<seq2seq4repair_space>Coverage<seq2seq4repair_space>directory:<seq2seq4repair_space>" + ( home ) ) ) ; } if ( ( snapshotDir ) == null ) { snapshotDir = new File ( "." ) ; } snapshotDir = project . resolveFile ( snapshotDir . getPath ( ) ) ; if ( ( ! ( snapshotDir . isDirectory ( ) ) ) || ( ! ( snapshotDir . exists ( ) ) ) ) { throw new BuildException ( ( "Snapshot<seq2seq4repair_space>directory<seq2seq4repair_space>does<seq2seq4repair_space>not<seq2seq4repair_space>exists<seq2seq4repair_space>:" + ( snapshotDir ) ) ) ; } if ( ( workingDir ) == null ) { workingDir = new File ( "." ) ; } workingDir = project . resolveFile ( workingDir . getPath ( ) ) ; if ( ( ( javaExe ) == null ) && ( ( ( vm ) == null ) || ( "java2" . equals ( vm ) ) ) ) { String version = System . getProperty ( "java.version" ) ; if ( ! ( version . startsWith ( "1.1" ) ) ) { if ( ( vm ) == null ) { vm = "java2" ; } String home = System . getProperty ( "java.home" ) ; boolean isUnix = ( File . separatorChar ) == '//' ; javaExe = ( isUnix ) ? new File ( home , "bin//java" ) : new File ( home , "//bin//java.exe" ) ; } } } protected String [ ] getParameters ( ) { } protected File createParamFile ( ) throws BuildException { } protected File createTmpFile ( ) { } static class CoverageStreamHandler extends LogStreamHandler { CoverageStreamHandler ( Task task ) { } public void setProcessInputStream ( OutputStream os ) { } } }

Fix:
home = new File ( home , "coverage" ) ;