Geosim build fails

[tobiaswjohn]

The build of branch "geosim" fails. There seems to be an issue with one of the dependencies. I get the following error message when I run ./gradlew shadowJar

* What went wrong:
Could not determine the dependencies of task ':shadowJar'.
> Could not resolve all files for configuration ':runtimeClasspath'.
   > Could not download scenario_verifier_2.13-0.2.14.jar (into-cps:scenario_verifier_2.13:0.2.14)
      > Could not get resource 'https://overture.au.dk/artifactory/libs-release/into-cps/scenario_verifier_2.13/0.2.14/scenario_verifier_2.13-0.2.14.jar'.
         > Could not GET 'https://overture.au.dk/artifactory/libs-release/into-cps/scenario_verifier_2.13/0.2.14/scenario_verifier_2.13-0.2.14.jar'. Received status code 502 from server: Bad Gateway

[huangyegithub]

In file ./build.gradle, the package

into-cps:scenario_verifier_2.13:0.2.14

is unavailable on the Maven Central Repository because it is outdated. The repository only hosts the latest version, which is 0.2.22.

Then, the code attempts to download the package from the URL:

https://overture.au.dk/artifactory/libs-release/

However, this URL is no longer accessible and returns a 502 error, preventing the program from building successfully.

When I comment out the previous two lines, the program builds without issue.

How will excluding this package affect the overall functionality and usage of our program?

[Edkamb]

Fixed by 3e47caa
Is fine to remove, the dependency is also removed on the main branch and is related to an experimental feature we deleted.