Moves HTTPS switch to javadoc 'top' option
Moves HTTPS switch to javadoc 'top' option

Reason : the javadoc tool places the _escaped_ content of the 'header'
option inside the title attribute : <h1 title="the escaped header">
and the script contains both double quotes and a closing angle bracket,
and as such the browser show the title with some javascript and corrupts
the styling of the package page.

:

mockito/mockito,bric3/mockito,ze-pequeno/mockito,mockito/mockito,terebesirobert/mockito,bric3/mockito,bric3/mockito,mockito/mockito,ze-pequeno/mockito