This PR implements JEP 413: Code Snippets in Java API Documentation for [java.text.DateFormat](https://docs.oracle.com/en/java/javase/19/docs/api/java.base/java/text/DateFormat.html).
Code examples using <pre> ... </pre> blocks are replaced with the @ snippet syntax where applicable. Additionally, missing semi colons were added in the code examples ------------- Commit messages: - Use snippets, add missing semicolons Changes: https://git.openjdk.org/jdk/pull/12053/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=12053&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8300307 Stats: 21 lines in 1 file changed: 0 ins; 0 del; 21 mod Patch: https://git.openjdk.org/jdk/pull/12053.diff Fetch: git fetch https://git.openjdk.org/jdk pull/12053/head:pull/12053 PR: https://git.openjdk.org/jdk/pull/12053
