Merge remote-tracking branch 'remotes/origin/master' into luongSavepointTemp

# Conflicts:
#	ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
5 jobs for luongSavepoint in 5 minutes and 18 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #38045
build:jdk10

00:01:16

passed #38046
build:jdk8

00:01:10

passed #38044
build:jdk9

00:01:17

 
  Test
failed #38047
allowed to fail
test

00:00:33

 
  Deploy
passed #38048
deploy

00:00:59

 
Name Stage Failure
failed
test Test There is an unknown failure, please try again

* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

* Get more help at https://help.gradle.org

BUILD FAILED in 22s
9 actionable tasks: 9 executed
ERROR: Job failed: exit code 1