git: openjdk/mobile: 8235141: Specify the required standard socket options for the socket types in the java.net package

[duke]

Changeset: 7135b5dd
Author:    Daniel Fuchs <dfuchs at openjdk.org>
Date:      2019-12-10 13:22:52 +0000
URL:       https://git.openjdk.java.net/mobile/commit/7135b5dd

8235141: Specify the required standard socket options for the socket types in the java.net package

Reviewed-by: alanb, chegar

! src/java.base/share/classes/java/net/DatagramSocket.java
! src/java.base/share/classes/java/net/MulticastSocket.java
! src/java.base/share/classes/java/net/ServerSocket.java
! src/java.base/share/classes/java/net/Socket.java
+ test/jdk/java/net/SocketOption/RequiredOptions.java