--- 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");
}