Latest javadoc on successful travis build 517 auto-pushed to gh-pages