Merge pull request #2745 from rjolly/gh-pages

Replace JSR-166 by JSR-223