src/java.base/share/classes/java/lang/Enum.java
changeset 57956 e0b8b019d2f5
parent 55237 36334808644d
child 58679 9c3209ff7550
child 59142 c4be5e03aff7
--- a/src/java.base/share/classes/java/lang/Enum.java	Thu Aug 29 18:52:30 2019 -0400
+++ b/src/java.base/share/classes/java/lang/Enum.java	Thu Aug 29 16:31:34 2019 -0700
@@ -275,11 +275,13 @@
     /**
      * prevent default deserialization
      */
+    @java.io.Serial
     private void readObject(ObjectInputStream in) throws IOException,
         ClassNotFoundException {
         throw new InvalidObjectException("can't deserialize enum");
     }
 
+    @java.io.Serial
     private void readObjectNoData() throws ObjectStreamException {
         throw new InvalidObjectException("can't deserialize enum");
     }