Modified README

Author: Varun Iyengar

defects4j-jars/BUILD_MATRIX.md

@@ -38,7 +38,7 @@ If one project needs different build flows for different bug groups, we add mult
 | JacksonDatabind | 75 | `ant` | `ant -f build.xml -Djunit.skipped=true jar` | `JacksonDatabind-<BUG_ID>f/target/jackson-databind-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/JacksonDatabind-<BUG_ID>f` edit `maven-build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `get-deps` target, edit the url src link for the Jackson Core dependency to be `"https://repo1.maven.org/maven2/com/fasterxml/jackson/core/jackson-core/2.8.8/jackson-core-2.8.8.jar"`. Then run the provided build command. |
 | JacksonDatabind | 108 | `ant` | `ant -f build.xml -Djunit.skipped=true jar` | `JacksonDatabind-<BUG_ID>f/target/jackson-databind-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/JacksonDatabind-<BUG_ID>f` edit `maven-build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `get-deps` target, edit the url src link for the Jackson Annotations dependency to be `"https://repo1.maven.org/maven2/com/fasterxml/jackson/core/jackson-annotations/2.10.0/jackson-annotations-2.10.0.jar"` and the url src link for the Jackson Core dependency to be `"https://repo1.maven.org/maven2/com/fasterxml/jackson/core/jackson-core/2.10.0/jackson-core-2.10.0.jar"`. Then run the provided build command. |
 | JacksonXml | 1-6 | `ant` | `ant -f build.xml -Djunit.skipped=true jar` | `JacksonXml-<BUG_ID>f/target/jackson-dataformat-xml-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/JacksonXml-<BUG_ID>f` edit `maven-build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`. Then run the provided build command. |
-| Jsoup | 1-14 | `ant` | `ant -f build.xml -Djunit.skipped=true jar` | `Jsoup-<BUG_ID>f/target/jsoup-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/JacksonXml-<BUG_ID>f` edit `maven-build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`. Then run the provided build command. |
+| Jsoup | 1-14 | `ant` | `ant -f build.xml -Djunit.skipped=true jar` | `Jsoup-<BUG_ID>f/target/jsoup-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Jsoup-<BUG_ID>f` edit `maven-build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`. Then run the provided build command. |
 | Jsoup | 15-93 | `ant` | `ant -f build.xml -Djunit.skipped=true jar` | `Jsoup-<BUG_ID>f/target/jsoup-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Jsoup-<BUG_ID>f` edit `maven-build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `package` target, delete the line `manifest=..` and any `<manifest>` elements. Then run the provided build command. |
 | JxPath | 1-22 | `ant` | `ant -f build.xml jar` | `JxPath-<BUG_ID>f/target/commons-jxpath-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/JxPath-<BUG_ID>f` edit `build.xml` before compiling: in the `jar` target, remove the dependency on `test`. Additionally, copy the `checker-qual.jar` located at `scripts/build/checker-framework/checker/dist/checker-qual.jar` into `build/defects4j-src/JxPath-<BUG_ID>f/target/lib/`. Then run the provided build command. |
 | Lang | 1,3-17,19-20,42-47,49-65 | `ant` | `ant -f build.xml jar` | `Lang-<BUG_ID>f/target/commons-lang-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Lang-<BUG_ID>f`, edit `build.xml` before compiling: in the path with id `compile.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`. Then run the provided build command. |
@@ -47,7 +47,7 @@ If one project needs different build flows for different bug groups, we add mult
 | Math | 8-91,99 | `ant` | `ant -f build.xml jar` | `Math-<BUG_ID>f/target/commons-math-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Math-<BUG_ID>f` edit `build.xml` before compiling: in the path with id `compile.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `jar` target, change the dependency from `test` to `compile`; in the `download-junit` target, in the `src` attribute, change `http` to `https`. Then run the provided build command. |
 | Math | 92-98 | `ant` | `ant -f build.xml jar` | `Math-<BUG_ID>f/target/commons-math-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Math-<BUG_ID>f` edit `build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `jar` target, change the dependency from `compile,test` to `compile`; in the `get-deps` target, comment out the `<setproxy>` attribute; in the `get-deps` target, change the cobertura plugin to `src="https://repo1.maven.org/maven2/maven-plugins/maven-cobertura-plugin/1.1.1/maven-cobertura-plugin-1.1.1.jar"`; in the `get-deps` target, change the xdoc plugin to `src="https://repo1.maven.org/maven2/maven/maven-xdoc-plugin/1.9.2/maven-xdoc-plugin-1.9.2.jar"`. Then run the provided build command. |
 | Math | 100-106 | `ant` | `ant -f build.xml jar` | `Math-<BUG_ID>f/target/commons-math-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Math-<BUG_ID>f` edit `build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `jar` target, change the dependency from `compile,test` to `compile`; in the `get-deps` target, comment out the `<setproxy>` attribute. Then run the provided build command. |
-| Mockito | 1-11,18-20 | `gradle` | `./gradlew build` | `Mockito-<BUG_ID>f/build/libs/mockito-core-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Mockito-<BUG_ID>f`, make the following edits before building. **(1) `build.gradle`:** add a `compileJava` task directly before the `dependencies` block: `compileJava { classpath += files('/path/to/checker-qual.jar') }`. **(2) `build-ant.xml`:** directly below the `jar.core.path` property, insert `<property name="checker.qual.path" value="/path/to/checker-qual.jar"/>` and `<property name="bnd.core.classpath" value="${jar.core.path}:${checker.qual.path}"/>`. Then in the `bndCore` target, change the `classpath=` attribute to `classpath="${bnd.core.classpath}"`. Then run the provided build command. |
+| Mockito | 1-11,18-20 | `gradle` | `./gradlew build` | `Mockito-<BUG_ID>f/build/libs/mockito-core-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Mockito-<BUG_ID>f`, make the following edits before building. **(1) `build.gradle`:** add a `compileJava` task directly before the `dependencies` block: `compileJava { classpath += files('scripts/build/checker-framework/checker/dist/checker-qual.jar') }`. **(2) `build-ant.xml`:** directly below the `jar.core.path` property, insert `<property name="checker.qual.path" value="scripts/build/checker-framework/checker/dist/checker-qual.jar"/>` and `<property name="bnd.core.classpath" value="${jar.core.path}:${checker.qual.path}"/>`. Then in the `bndCore` target, change the `classpath=` attribute to `classpath="${bnd.core.classpath}"`. Then run the provided build command. |
 | Mockito | 12-17,21-38 | `ant` | `ant -f build.xml jar` | `Mockito-<BUG_ID>f/target/mockito-core-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Mockito-<BUG_ID>f`, edit `build.xml` before compiling: in the path with id `compile.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `jar.all` target, change the dependency on `test` to a dependency on `compile.test`; finally, in the `jar.all` and `jar` targets, change `<fileset dir="." file="LICENSE" />` and `<fileset dir="." file="NOTICE" />` to `<fileset dir="."><include name="LICENSE"/></fileset>` and `<fileset dir="."><include name="NOTICE"/></fileset>`. Then run the provided build command. |
 | Time | 1-11 | `ant` | `ant -f build.xml -Djunit.skipped=true jar` | `Time-<BUG_ID>f/target/joda-time-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Time-<BUG_ID>f`, edit `maven-build.xml` before compiling: in the path with id `build.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`; in the `package` target, delete the line `manifest=..` and any `<manifest>` elements (if they exist). Then run the provided build command. |
 | Time | 12-20,22-27 | `ant` | `ant -f build.xml jar` | `Time-<BUG_ID>f/build/joda-time-*.jar` | Make sure you are using Java 11. From `build/defects4j-src/Time-<BUG_ID>f` edit `build.xml` before compiling: in the path with id `compile.classpath`, add a pathelement pointing to `scripts/build/checker-framework/checker/dist/checker-qual.jar`. Then run the provided build command. |