src/java.base/share/classes/java/util/InvalidPropertiesFormatException.java

*** 43,52 ****
--- 43,53 ----
   * @serial exclude
   */
  
  public class InvalidPropertiesFormatException extends IOException {
  
+     @java.io.Serial
      private static final long serialVersionUID = 7763056076009360219L;
  
      /**
       * Constructs an InvalidPropertiesFormatException with the specified
       * cause.
*** 72,91 ****
--- 73,94 ----
  
      /**
       * Throws NotSerializableException, since InvalidPropertiesFormatException
       * objects are not intended to be serializable.
       */
+     @java.io.Serial
      private void writeObject(java.io.ObjectOutputStream out)
          throws NotSerializableException
      {
          throw new NotSerializableException("Not serializable.");
      }
  
      /**
       * Throws NotSerializableException, since InvalidPropertiesFormatException
       * objects are not intended to be serializable.
       */
+     @java.io.Serial
      private void readObject(java.io.ObjectInputStream in)
          throws NotSerializableException
      {
          throw new NotSerializableException("Not serializable.");
      }