Correction for java.net

[Godmar Back]

 Hi Petter,

I think that the values for SocketOptions do not have to match those 
for JDK 1.1.5 since SocketOptions is an interface that is not public.  
User programs can only access that stuff via Socket.setTcpNoDelay() etc.
In fact, the SocketOptions interface is not even documented in the JDK doc.
(At least not in 1.2beta3, which I have in front of me.)
Why do you think we need to match Sun's numbers?

Thanks for the fixes to linger and getLocalAddress.

	- Godmar