change settings for gitlab repo

Author: wadoon

key/build.gradle

@@ -231,12 +231,20 @@ subprojects {
         }
         repositories {
             maven {
-                name = "GitHubPackages"
-                url = uri("https://maven.pkg.github.com/KeYProject/key")
-                credentials {
+                name = "GitlabPackages"
+                //url = uri("https://maven.pkg.github.com/KeYProject/key")
+		url "https://git.key-project.org/api/v4/projects/35/packages/maven"
+		credentials(HttpHeaderCredentials) {
+			name = 'Private-Token'
+			value = System.getenv("TOKEN")
+		}
+		authentication {
+			header(HttpHeaderAuthentication)
+		}
+                /*credentials {
                     username = project.findProperty("gpr.user") ?: System.getenv("USERNAME")
                     password = project.findProperty("gpr.key") ?: System.getenv("TOKEN")
-                }
+                }*/
             }
         }
     }

key/key.core/build.gradle

@@ -39,7 +39,7 @@ compileJavacc {
     doLast {
         // Some manual overwriting of Token files needed
         copy {
-            from("src/main/javacc/de/uka/ilkd//parser/schemajava/Token.java")
+            from("src/main/javacc/de/uka/ilkd/key/parser/schemajava/Token.java")
             into "$javaCCOutputDirMain/de/uka/ilkd/key/parser/schemajava/"
         }
         copy {

key/scripts/mvndeploy/deploy.sh

@@ -1,12 +1,14 @@
-DEPLOYURL=https://maven.pkg.github.com/KeYProject/key
+# PROJECT 53  = key-public/key
+DEPLOYURL=https://git.key-project.org/api/v4/projects/35/packages/maven
 
 MVNDEPLOY="mvn -s settings.xml deploy:deploy-file -DrepositoryId=gpr -Durl=$DEPLOYURL"
 
 
 # recoderkey
-# $MVNDEPLOY -DpomFile=recoderKey.pom.xml -Dfile=../../key.core/lib/recoderkey.jar
+$MVNDEPLOY -DpomFile=recoderKey.pom.xml -Dfile=../../key.core/lib/recoderkey.jar
 
 # docking-frames-core
 #$MVNDEPLOY -DpomFile=docking-frames-core.pom.xml -Dfile=../../key.ui/lib/docking-frames-core.jar
 
-$MVNDEPLOY -DpomFile=docking-frames-common.pom.xml -Dfile=../../key.ui/lib/docking-frames-common.jar
+# docking-frames-common
+#$MVNDEPLOY -DpomFile=docking-frames-common.pom.xml -Dfile=../../key.ui/lib/docking-frames-common.jar

key/scripts/mvndeploy/settings.xml

@@ -5,8 +5,14 @@
   <servers>
     <server>
       <id>gpr</id>
-      <username>wadoon</username>
-      <password>17f82842578a76ba27a29fd5f6f34a68b5a266ee</password>
+      <configuration>
+        <httpHeaders>
+          <property>
+            <name>Private-Token</name>
+            <value>Lk6PZsfupdf4jYZRvqKS</value>
+          </property>
+        </httpHeaders>
+      </configuration>
     </server>
   </servers>
 </settings>