tree cf7018b44efab8ea3f3e6af6f9144874f88750c9
parent c01adce9b86bc739035ba7b4d1e602a43e053165
author margaretha <margaretha@ids-mannheim.de> 1773138721 +0100
committer margaretha <margaretha@ids-mannheim.de> 1773138721 +0100

Fix deprecated URL constructor

by replacing new URL(String) with URI.create(String).toURL()
[AI assisted]

Change-Id: I0128318a783a27c2db2aa188bdaf192782f69313