This Annex to the Java SE 13 Specification contains the Java SE 13 Editions of The Java Language Specification (JLS) and The Java Virtual Machine Specification (JVMS).
The Java SE 13 Editions include corrections and clarifications made to the JLS and JVMS since the Java SE 12 Editions, that is, since the Final Release of JSR 386. The changes are flagged with vertical bars and colorful text, as follows:
The Java SE 13 Platform includes two preview features whose specifications are logically part of the Java SE 13 Edition of the JLS, but physically distributed in separate documents: