further bug fixes in variable assignments, added key.core.jar and dependencies

Status Job ID Name Coverage
  Test
failed #13753
build

00:00:18

failed #13755
deploy

00:00:17

failed #13754
test

00:00:18

 
Name Stage Failure
failed
test Test There is an unknown failure, please try again
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project proofscriptparser: Could not resolve dependencies for project edu.kit.formal:proofscriptparser:jar:1.0-SNAPSHOT: The following artifacts could not be resolved: org.key-project:key.core:jar:2.7, org.key-project:recoderKey:jar:1.0.0: Could not find artifact org.key-project:key.core:jar:2.7 in central (https://repo.maven.apache.org/maven2) -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/DependencyResolutionException
ERROR: Job failed: exit code 1
failed
build Test There is an unknown failure, please try again
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project proofscriptparser: Could not resolve dependencies for project edu.kit.formal:proofscriptparser:jar:1.0-SNAPSHOT: The following artifacts could not be resolved: org.key-project:key.core:jar:2.7, org.key-project:recoderKey:jar:1.0.0: Could not find artifact org.key-project:key.core:jar:2.7 in central (https://repo.maven.apache.org/maven2) -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/DependencyResolutionException
ERROR: Job failed: exit code 1
failed
deploy Test There is an unknown failure, please try again
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal on project proofscriptparser: Could not resolve dependencies for project edu.kit.formal:proofscriptparser:jar:1.0-SNAPSHOT: The following artifacts could not be resolved: org.key-project:key.core:jar:2.7, org.key-project:recoderKey:jar:1.0.0: Could not find artifact org.key-project:key.core:jar:2.7 in central (https://repo.maven.apache.org/maven2) -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/DependencyResolutionException
ERROR: Job failed: exit code 1