В Германии у нас иногда есть мутантный гласный (умлаут) в доменных именах.это часть internationalized domain name (IDN), например, tile.öpnvkarte.de.
. Если я пытаюсь скачать плитку оттуда, java выдает java.net.UnknownHostException: tile.öpnvkarte.de.
Кто-нибудь знает, как я могурешить это?