< prev index next >

src/java.base/share/classes/java/time/ZoneId.java

Print this page

        

*** 252,261 **** --- 252,262 ---- entry("HST", "-10:00") ); /** * Serialization version. */ + @java.io.Serial private static final long serialVersionUID = 8352817235686L; //----------------------------------------------------------------------- /** * Gets the system default time-zone.
*** 622,631 **** --- 623,633 ---- * Defend against malicious streams. * * @param s the stream to read * @throws InvalidObjectException always */ + @java.io.Serial private void readObject(ObjectInputStream s) throws InvalidObjectException { throw new InvalidObjectException("Deserialization via serialization delegate"); } /**
*** 653,662 **** --- 655,665 ---- * ID has a valid format, but is not in the known set of region-based IDs. * * @return the instance of {@code Ser}, not null */ // this is here for serialization Javadoc + @java.io.Serial private Object writeReplace() { return new Ser(Ser.ZONE_REGION_TYPE, this); } abstract void write(DataOutput out) throws IOException;
< prev index next >