What do the Java network proxy property settings *actually* “do” and when are they used by the JVM?

Question

Java has a number of networking properties. The documentation at that URL states:

The following proxy settings are used by the HTTP protocol handler.