replace <tt></tt> in the javadoc comments by @code/@literal

1 job for make-javadoc-html5-compatible-by-replacing-tt-by-@code-or-@literal in 7 minutes and 16 seconds (queued for 2 seconds)