git: openjdk/jdk: 8305206: Add @spec tags in java.base/java.* (part 1)

[Jonathan Gibbons]

Changeset: c6bd489c
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2023-04-04 00:09:38 +0000
URL:       https://git.openjdk.org/jdk/commit/c6bd489cc8d30fb6eec865b3dab1cf861e25c8d7

8305206: Add @spec tags in java.base/java.* (part 1)

Reviewed-by: alanb, naoto, darcy, lancea, dfuchs, iris, mchung

! src/java.base/share/classes/java/io/ObjectInputStream.java
! src/java.base/share/classes/java/io/ObjectOutputStream.java
! src/java.base/share/classes/java/io/ObjectStreamClass.java
! src/java.base/share/classes/java/io/Serial.java
! src/java.base/share/classes/java/io/Serializable.java
! src/java.base/share/classes/java/io/package-info.java
! src/java.base/share/classes/java/lang/Character.java
! src/java.base/share/classes/java/lang/Enum.java
! src/java.base/share/classes/java/lang/Record.java
! src/java.base/share/classes/java/lang/Runtime.java
! src/java.base/share/classes/java/lang/System.java
! src/java.base/share/classes/java/lang/Thread.java
! src/java.base/share/classes/java/lang/foreign/package-info.java
! src/java.base/share/classes/java/lang/reflect/AccessibleObject.java
! src/java.base/share/classes/java/net/CookieHandler.java
! src/java.base/share/classes/java/net/CookieManager.java
! src/java.base/share/classes/java/net/HttpCookie.java
! src/java.base/share/classes/java/net/IDN.java
! src/java.base/share/classes/java/net/Inet4Address.java
! src/java.base/share/classes/java/net/Inet6Address.java
! src/java.base/share/classes/java/net/InetAddress.java
! src/java.base/share/classes/java/net/ResponseCache.java
! src/java.base/share/classes/java/net/SocketPermission.java
! src/java.base/share/classes/java/net/StandardSocketOptions.java
! src/java.base/share/classes/java/net/URI.java
! src/java.base/share/classes/java/net/URL.java
! src/java.base/share/classes/java/net/URLConnection.java
! src/java.base/share/classes/java/net/URLDecoder.java
! src/java.base/share/classes/java/net/URLEncoder.java
! src/java.base/share/classes/java/net/URLPermission.java
! src/java.base/share/classes/java/nio/channels/MulticastChannel.java
! src/java.base/share/classes/java/nio/charset/Charset.java
! src/java.base/share/classes/java/nio/charset/package-info.java
! src/java.base/share/classes/java/nio/file/Files.java
! src/java.base/share/classes/java/nio/file/attribute/AclEntry.java
! src/java.base/share/classes/java/nio/file/attribute/AclEntryPermission.java
! src/java.base/share/classes/java/nio/file/attribute/AclFileAttributeView.java
! src/java.base/share/classes/java/nio/file/attribute/FileTime.java
! src/java.base/share/classes/java/nio/file/attribute/package-info.java
! src/java.base/share/classes/java/nio/file/spi/FileTypeDetector.java
! src/java.base/share/classes/java/text/Collator.java
! src/java.base/share/classes/java/text/CompactNumberFormat.java
! src/java.base/share/classes/java/text/DateFormatSymbols.java
! src/java.base/share/classes/java/text/Normalizer.java
! src/java.base/share/classes/java/text/NumberFormat.java
! src/java.base/share/classes/java/time/format/DateTimeFormatter.java
! src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java
! src/java.base/share/classes/java/util/Base64.java
! src/java.base/share/classes/java/util/Currency.java
! src/java.base/share/classes/java/util/Formatter.java
! src/java.base/share/classes/java/util/Locale.java
! src/java.base/share/classes/java/util/Properties.java
! src/java.base/share/classes/java/util/UUID.java
! src/java.base/share/classes/java/util/jar/Attributes.java
! src/java.base/share/classes/java/util/jar/Manifest.java
! src/java.base/share/classes/java/util/jar/package-info.java
! src/java.base/share/classes/java/util/regex/Pattern.java
! src/java.base/share/classes/java/util/spi/TimeZoneNameProvider.java
! src/java.base/share/classes/java/util/zip/CRC32C.java
! src/java.base/share/classes/java/util/zip/package-info.java