[Fix #883] Encode properly the javadoc url