GitLab

There is a bug in PMD, see https://github.com/pmd/pmd/issues/872
This is likely properly fixed in 6.1.0.
But for 5.7.0, this custom fix should work in DaCapo's case.

 - changed checking from stderr to stdout;
 - updated checksum;
 - use `braces.xml` and `text` format to produce some output on the
`xsmall` size;
 - patch a problematic code in PMD `AbstractRenderer.java` which closes
output stream after flushing. This causes null pointer error when DaCapo
tries to close TeePrintStream again.

`build.xml`:
  - add library dependency -- saxon;
  - skip testing when building PMD so to build faster;
  - correct inclusion paths for Java source files and rulesets;

`pmd.cnf`:
  - update version and website
  - update rule set paths and remove non existing rule sets:

    - favorites.xml
    - newrules.xml
    - scratchpad.xml

PMD 5.7.0 use Maven as its build system. The `build.xml` for the
benchmark has been changed to call Maven.
Also, it requires Java JDK toolchain to be configured for Maven. A
shell script has been added to generate the toolchain.xml file.

Note that during the building process, PMD requires both 1.7 and 1.8
toolchain to be configured. A clean solution would require the JDK7 to
be installed on the platfor along with JDK8/9. This requirement can be
annoying. Therefore the generated toolchain.xml file
has a hack such that if the platform java version is >= 1.8, it will
generate two entries (1.7 and the actual version) that point to the same
JDK directory.

Also the download link for the release has been changed to GitHub.

removed jar directive from .cnf and renamed libs directive to jars and included jar entry in jars list

other benchmark builds as required by these changes.

differences in line-feed processing
- stdin/stdout are now filtered so that the scratch directory
location is canonicalised.  More digests are now validated.
- Numerous javadoc improvements