• John Zhang's avatar
    Update digest checksum · e66c5b4c
    John Zhang authored
     - 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.