hg: jdk/jdk: 8189744: Deprecate the JDK-specific API for setting socket options, jdk.net.Sockets

[patrick.concannon at oracle.com]

Changeset: 986d7d26f9fe
Author:    pconcannon
Date:      2020-08-27 10:57 +0100
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/986d7d26f9fe

8189744: Deprecate the JDK-specific API for setting socket options, jdk.net.Sockets
Summary: The JDK-specific API `jdk.net.Sockets` has been redundant since Java SE 9 added standard methods to get/set socket options and retrieve per-Socket supported options. This fix deprecates the class and its public methods.
Reviewed-by: chegar, dfuchs

! src/jdk.net/share/classes/jdk/net/Sockets.java