I20221104-1200
Add <pre>{@code ...}</pre> support to Javadoc hover
- allow proper indenting for first line of a code sequence inside
a <pre> segment
- fixes issue #316
- Remove wrong </code> tag and replace "}</pre>" with </code></pre>
- add new test