FYI, JDK-8201533: Enhanced javadoc support for code samples (snippets)
This is a draft JEP that describes a proposal for a new doc comment tag to replace the use of `<pre>{@code ...}</pre>` to include code samples (also known as "snippets") in API documentation comments.
Feedback, comments welcome. -- Jon, on behalf of the JavaDoc team https://bugs.openjdk.java.net/browse/JDK-8201533
