cleaned up ivysettings
<?xml version="1.0" encoding="UTF-8"?>
<!--
-This file is part of SoSy-Lab Java-Project Template,
-a collection of common files and build definitions for Java projects:
-https://gitlab.com/sosy-lab/software/java-project-template
+This file is part of BenchExec, a framework for reliable benchmarking:
+ https://github.com/sosy-lab/benchexec
-SPDX-FileCopyrightText: 2018-2020 Dirk Beyer <https://www.sosy-lab.org>
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0
-->
<!DOCTYPE ivysettings> <!-- generic AcceptAllDTD to make the Eclipse Warning go away -->
<ivysettings>
- <!-- DO NOT EDIT LOCALLY!
- Keep this file synchronized with
- https://gitlab.com/sosy-lab/software/java-project-template
- -->
<settings defaultResolver="Sosy-Lab"/>
- <property name="repo.dir" value="${basedir}/repository"/>
<property name="ivy.repo.url" value="https://www.sosy-lab.org/ivy"/>
<resolvers>
<!-- Resolver for downloading dependencies -->
