Shorten wait-time on read time out

[rayquaza]

Let's say JOSM tries to load a resource from a server. When this server is unreachable JOSM waits for an answer for some time (and maybe tries again once or twice). If JOSM wants to load a lot of resources from one (currently unreachable) server this leads to a lot of delay (currently more than 20 minutes).

It would be useful if this could be shortened, i.e. by noticing that a whole server is unreachable.

WARNUNG: Fehler beim Laden von http://josm.openstreetmap.de/josmfile?page=Styles/Sidewalks&style, gespeicherte Datei wird bis zum nächsten Versuch verwendet: java.net.SocketTimeoutException: Read timed out

Repository Root: http://josm.openstreetmap.de/svn
Build-Date: 2014-06-02 01:36:21
Last Changed Author: Don-vip
Revision: 7206
Repository UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
URL: http://josm.openstreetmap.de/svn/trunk
Last Changed Date: 2014-06-01 17:55:24 +0200 (Sun, 01 Jun 2014)
Last Changed Rev: 7206

Identification: JOSM/1.5 (7206 de) Windows XP 32-Bit
Memory Usage: 185 MB / 742 MB (56 MB allocated, but free)
Java version: 1.7.0_55, Oracle Corporation, Java HotSpot(TM) Client VM
VM arguments: [-Xmx768M]

[Don-vip]

see also #9779

[simon04]

Closed as duplicate of #8824.
Since r9168, the default socket.timeout.connect is 15s.
We fail fast specifically for imagery lists, see r9414.