Patch: java.net

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> in memoriam of PR 13102 I wrote the attached little patch to
Michael> fix similar bugs in java.net.ServerSocket and
Michael> java.net.DatagramSocket.

This looks ok.

Michael>    /**
Michael>     * Returns the local address this datagram socket is bound to.
Michael> -   * 
Michael> +    
Michael>     * @since 1.1
Michael>     */

Slip of the fingers?

Tom