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 build:jdk8 #126017

00:01:11

 
  Test
failed test #126018
allowed to fail

00:03:47

 
  Deploy
passed deploy #126019

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