Danke für den Tip.
Ganz davon abgesehen, gibt es das java.net-Package bereits seit der
ersten Java-Version. Es sind höchstens einzelne Klassen in neueren
Java-Versionen hinzugekommen.
Das dachte ich ja auch, aber auf einem anderen Rechner kam die Fehlermeldung in der Richtung, das er ...URISyntaxException nicht finden kann.
Gerd