Lastest javadoc on successful travis build 712 auto-pushed to gh-pages