New candidate JEP: 413: Code Snippets in Java API Documentation


Introduce an @snippet tag for JavaDoc's Standard Doclet, to simplify the inclusion of example source code in API documentation.

More at https://mail.openjdk.java.net/pipermail/jdk-dev/2021-April/005428.html