v1.12.15: Merge pull request #295 from twicksell/removeJdiff

remove remaining jdiff code in main build.gradle

v1.12.14

Merge pull request #292 from noel-yap/move-github-pages-to-separate-b…

v1.9.3: Merge pull request #236 from elandau/nextgen

Fix unit test

v1.7.6: Merge pull request #225 from elandau/nextgen

Revert to non-java8 version of jetty

v1.7.3: Merge pull request #213 from elandau/nextgen

Fix unit tests