--- a/src/java.base/share/classes/java/util/Vector.java Thu Oct 17 20:27:44 2019 +0100
+++ b/src/java.base/share/classes/java/util/Vector.java Thu Oct 17 20:53:35 2019 +0100
@@ -102,6 +102,7 @@
*
* @serial
*/
+ @SuppressWarnings("serial") // Conditionally serializable
protected Object[] elementData;
/**
@@ -124,6 +125,7 @@
protected int capacityIncrement;
/** use serialVersionUID from JDK 1.0.2 for interoperability */
+ @java.io.Serial
private static final long serialVersionUID = -2767605614048989439L;
/**
@@ -1149,6 +1151,7 @@
* @throws ClassNotFoundException if the stream contains data
* of a non-existing class
*/
+ @java.io.Serial
private void readObject(ObjectInputStream in)
throws IOException, ClassNotFoundException {
ObjectInputStream.GetField gfields = in.readFields();
@@ -1170,6 +1173,7 @@
* @param s the stream
* @throws java.io.IOException if an I/O error occurs
*/
+ @java.io.Serial
private void writeObject(java.io.ObjectOutputStream s)
throws java.io.IOException {
final java.io.ObjectOutputStream.PutField fields = s.putFields();