New KeY Version and modification of interface acc. to new version; corrected Sysouts;

3 jobs for grebing_luong_workbranch in 5 minutes and 45 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #126017
build:jdk8

00:01:11

 
  Test
failed #126018
allowed to fail
test

00:03:47

 
  Deploy
passed #126019
allowed to fail
deploy

00:00:46

 
Name Stage Failure
failed
test Test
* Get more help at https://help.gradle.org

Deprecated Gradle features were used in this build, making it incompatible with Gradle 5.0.

BUILD FAILEDUse '--warning-mode all' to show the individual deprecation warnings.
See https://docs.gradle.org/4.10.2/userguide/command_line_interface.html#sec:command_line_warnings
in 3m 34s
37 actionable tasks: 37 executed
ERROR: Job failed: exit code 1