Platform specific socket options for the java.net and java.nio.channels socket classes.