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

[mark . reinhold]

https://openjdk.java.net/jeps/413

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

- Mark