Refresh gh-pages to reflect new Javadoc definitions in master.

@juliusv, this one is for you.  :)