sync from sosy-lab java-project-template.

Author: kfriedberger

build/build-ivy.xml

@@ -22,7 +22,7 @@ SPDX-License-Identifier: Apache-2.0
     -->
 
     <!-- These properties can be overridden from including file. -->
-    <property name="ivy.target_version" value="2.5.1"/> <!-- Change version number here to use a newer version of Ivy. -->
+    <property name="ivy.target_version" value="2.5.2"/> <!-- Change version number here to use a newer version of Ivy. -->
     <!-- <property name="ivy.disable" value=""/> --> <!-- Disable ivy completely. -->
     <property name="ivy.repo.url" value="https://www.sosy-lab.org/ivy"/>
     <property name="ivy.lib.dir" value="lib/java"/>

build/gitlab-ci.yml

@@ -63,10 +63,6 @@ build:jdk-17:
   <<: *build
   image: ${CI_REGISTRY_IMAGE}/test:jdk-17
 
-build:jdk-19:
-  <<: *build
-  image: ${CI_REGISTRY_IMAGE}/test:jdk-19
-
 build:jdk-21:
   <<: *build
   image: ${CI_REGISTRY_IMAGE}/test:jdk-21
@@ -99,10 +95,6 @@ build-project-ecj:jdk-17:
   <<: *build-project-ecj
   image: ${CI_REGISTRY_IMAGE}/test:jdk-17
 
-build-project-ecj:jdk-19:
-  <<: *build-project-ecj
-  image: ${CI_REGISTRY_IMAGE}/test:jdk-19
-
 build-project-ecj:jdk-21:
   <<: *build-project-ecj
   image: ${CI_REGISTRY_IMAGE}/test:jdk-21
@@ -187,16 +179,6 @@ unit-tests:jdk-17:
     - build:jdk-17
   image: ${CI_REGISTRY_IMAGE}/test:jdk-17
 
-unit-tests:jdk-19:
-  <<: *unit-tests
-  dependencies:
-    - build-dependencies
-    - build:jdk-19
-  needs:
-    - build-dependencies
-    - build:jdk-19
-  image: ${CI_REGISTRY_IMAGE}/test:jdk-19
-
 unit-tests:jdk-21:
   <<: *unit-tests
   dependencies:
@@ -306,12 +288,6 @@ build-docker:test:jdk-17:
     DOCKERFILE: build/gitlab-ci.Dockerfile.jdk-17
     IMAGE: /test:jdk-17
 
-build-docker:test:jdk-19:
-  extends: .build-docker
-  variables:
-    DOCKERFILE: build/gitlab-ci.Dockerfile.jdk-19
-    IMAGE: /test:jdk-19
-
 build-docker:test:jdk-21:
   extends: .build-docker
   variables:

build/ivysettings.xml

@@ -10,7 +10,6 @@ SPDX-FileCopyrightText: 2018-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