Networking properties

[Tom Tromey]

>>>>> "Joerg" == Joerg Brunsmann <joerg_brunsmann@yahoo.de> writes:

Joerg> the attached patch uses two proxy properties listed at
Joerg>   http://java.sun.com/j2se/1.4/docs/guide/net/properties.html
Joerg> in gnu.gcj.protocol.http.Connection. Can someone please 
Joerg> review the patch and check it in. Thanks.

This looks fine to me.
I'm going to check it in on the trunk and the branch.

Note that new properties require a documentation change as well (I'm
writing it this time).  Also please send a ChangeLog entry with a patch.

Tom