Merge branch 'master' into bugfix/drast

build.gradle

@@ -31,6 +31,10 @@ subprojects {
 
 	repositories {
 		mavenCentral()
+    maven {
+        name "gitlab-maven"
+        url "https://git-st.inf.tu-dresden.de/api/v4/groups/jastadd/-/packages/maven"
+    }
 	}
 
 	dependencies {

statemachine.solution/build.gradle

@@ -30,7 +30,7 @@ jar {
 dependencies {
     implementation group: 'com.fasterxml.jackson.core', name: 'jackson-databind', version: "${jackson_version}"
     implementation group: 'net.sf.beaver', name: 'beaver-rt', version: '0.9.11'
-    implementation fileTree(include: ['dumpAst-plantuml-0.3.3.jar'], dir: '../libs')
+    implementation group: 'de.tudresden.inf.st', name: 'dumpAstWithPlantuml', version: '0.3.5'
 
     jastadd2 "org.jastadd:jastadd:2.3.4"
     ragdoc files('../libs/rd-builder.jar')

statemachine.task/build.gradle

@@ -26,7 +26,7 @@ sourceSets.main.java.srcDir genSrc
 dependencies {
     implementation group: 'com.fasterxml.jackson.core', name: 'jackson-databind', version: "${jackson_version}"
     implementation group: 'net.sf.beaver', name: 'beaver-rt', version: '0.9.11'
-    implementation fileTree(include: ['dumpAst-plantuml-0.3.3.jar'], dir: '../libs')
+    implementation group: 'de.tudresden.inf.st', name: 'dumpAstWithPlantuml', version: '0.3.5'
 
     jastadd2 "org.jastadd:jastadd:2.3.4"
     ragdoc files('../libs/rd-builder.jar')