Using HTTPS instead of HTTP for Javadoc to avoid empty pages in Firefox

Follow-up to e46779c. See http://markmail.org/message/5e2a5jrixnjegbl2