Buggy code:
public class Coverage extends CovBase { 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 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 ( ( ( getHome ( ) ) == null ) || ( ! ( getHome ( ) . 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> File jar = findJar ( "coverage//coverage.jar" ) ; <END_BUG> if ( ! ( jar . exists ( ) ) ) { throw new BuildException ( ( "Cannot<seq2seq4repair_space>find<seq2seq4repair_space>Coverage<seq2seq4repair_space>directory:<seq2seq4repair_space>" + ( getHome ( ) ) ) ) ; } if ( ( snapshotDir ) == null ) { snapshotDir = new File ( "." ) ; } snapshotDir = getProject ( ) . 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 = getProject ( ) . resolveFile ( workingDir . getPath ( ) ) ; if ( ( ( javaExe ) == null ) && ( ( ( vm ) == null ) || ( "java2" . equals ( vm ) ) ) ) { if ( ! ( JavaEnvUtils . isJavaVersion ( JAVA_1_1 ) ) ) { if ( ( vm ) == null ) { vm = "java2" ; } javaExe = new File ( JavaEnvUtils . getJreExecutable ( "java" ) ) ; } } } protected String [ ] getParameters ( ) { } protected File createParamFile ( ) throws BuildException { } static class CoverageStreamHandler extends LogStreamHandler { CoverageStreamHandler ( Task task ) { } public void setProcessInputStream ( OutputStream os ) { } } }

Fix:
File jar = findCoverageJar ( ) ;