update outdated adress of maven repository.
@@ -73,7 +73,7 @@ SPDX-License-Identifier: Apache-2.0
<repository> <!-- additional repository for Princess -->
<id>princess-repo</id>
<name>Princess Maven Repository</name>
- <url>http://logicrunch.it.uu.se:4096/~wv/maven/</url>
+ <url>http://logicrunch.research.it.uu.se/maven/</url>
</repository>
</repositories>
