This Annex to the Java SE 25 Specification contains the Java SE 25 Editions of The Java Language Specification (JLS) and The Java Virtual Machine Specification (JVMS).

The Java SE 25 Editions include corrections and clarifications made to the JLS and JVMS since the Java SE 24 Editions, that is, since the Final Release of JSR 399. These changes are flagged with vertical bars and colorful text, as follows:

• Blue text indicates a modification of material in the Java SE 24 Edition.
• Red text indicates new material in the Java SE 25 Edition.

The Java SE 25 Platform includes three final and permanent features that were preview features in Java SE 24:

• JEP 511 Module Import Declarations
  Compatibility & Specification Review
  
• JEP 512 Compact Source Files and Instance main Methods
  Compatibility & Specification Review
  
• JEP 513 Flexible Constructor Bodies
  Compatibility & Specification Review
  

In the Java SE 25 Editions of the JLS and JVMS, these changes are flagged with vertical bars and colorful text, as follows:

• Purple text indicates changes for JEP 511.
• Navy text indicates changes for JEP 512.
• Green text indicates changes for JEP 513.

The Java SE 25 Platform includes one preview feature whose specification is logically part of the Java SE 25 Edition of the JLS, but is physically distributed in a standalone document:

• JEP 507 Primitive Types in Patterns, instanceof, and switch (Third Preview)
  Changes to the JLS / Compatibility & Specification Review