Use % encoding to make javadoc compiler happy. And not fail with an error.