Princess: Restore ivysettings.xml to its original version

This will revert the changes made in 262bb96 to simplify development.

Author: daniel-raffler

build/ivysettings.xml

@@ -15,20 +15,14 @@ SPDX-License-Identifier: Apache-2.0
          Keep this file synchronized with
          https://gitlab.com/sosy-lab/software/java-project-template
     -->
-    <settings defaultResolver="Repos"/>
+    <settings defaultResolver="Sosy-Lab"/>
     <property name="repo.dir" value="${basedir}/repository"/>
     <resolvers>
         <!-- Resolver for downloading dependencies -->
-        <chain name="Repos">
-            <url name="Sosy-Lab">
-                <ivy pattern="${ivy.repo.url}/[organisation]/[module]/ivy-[revision].xml"/>
-                <artifact pattern="${ivy.repo.url}/[organisation]/[module]/[artifact]-[revision](-[classifier]).[ext]"/>
-            </url>
-            <url name="Maven-Repo" m2compatible="true">
-                <ivy pattern="https://repo1.maven.org/maven2/[organisation]/[module]/ivy-[revision].xml"/>
-                <artifact pattern="https://repo1.maven.org/maven2/[organisation]/[module]/[revision]/[artifact]-[revision].[ext]"/>
-            </url>
-        </chain>
+        <url name="Sosy-Lab" descriptor="required">
+            <ivy pattern="${ivy.repo.url}/[organisation]/[module]/ivy-[revision].xml"/>
+            <artifact pattern="${ivy.repo.url}/[organisation]/[module]/[artifact]-[revision](-[classifier]).[ext]"/>
+        </url>
 
         <!-- Resolver for publishing this project -->
         <filesystem name="Sosy-Lab-Publish">