[13]: RFR: 8218386: Correct the SE version in j.l.Character

[Naoto Sato]

Hello,

Please review this one line fix to the following issue:

https://bugs.openjdk.java.net/browse/JDK-8218386

The proposed change is here:

---
diff -r 213a2377b792 src/java.base/share/classes/java/lang/Character.java
--- a/src/java.base/share/classes/java/lang/Character.java
+++ b/src/java.base/share/classes/java/lang/Character.java
@@ -54,7 +54,7 @@
   * from the Unicode Consortium at
   * <a href="http://www.unicode.org">http://www.unicode.org</a>.
   * <p>
- * The Java SE 12 Platform uses character information from version 11.0
+ * The Java SE 13 Platform uses character information from version 11.0
   * of the Unicode Standard, plus the Japanese Era code point,
   * {@code U+32FF}, from the first version of the Unicode Standard
   * after 11.0 that assigns the code point.
---

The "Java SE 12" version string was forward ported automatically from 
this changeset that made into jdk12 repository:

http://hg.openjdk.java.net/jdk/jdk12/rev/4f2af72cb65a

which needs to be corrected.

Naoto