Merge branch 'cherry-pick-28c13f04' into 'master'

Now copy to clipboard contains parsable string

See merge request !11
Status Job ID Name Coverage
  Setup
passed #29291
setup

00:00:35

 
  Build
passed #29292
build

00:00:52

 
  Test
passed #29293
test

00:01:04

 
  Deploy
passed #29294
allowed to fail
deploy

00:01:59

failed #29296
allowed to fail
site

00:01:01

failed #29295
allowed to fail
sonar

00:02:11

 
Name Stage Failure
failed
site Deploy There is an unknown failure, please try again
28967 [INFO] ------------------------------------------------------------------------
28971 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-site-plugin:3.3:site (default-cli) on project psdbg: failed to get report for org.apache.maven.plugins:maven-javadoc-plugin: Failed to execute goal on project matcher: Could not resolve dependencies for project edu.kit.iti.formal.psdbg:matcher:jar:1.0-FM: The following artifacts could not be resolved: edu.kit.iti.formal.psdbg:keydeps:jar:1.0, key-project-psdbg:key.core:jar:2.7-SNAPSHOT, key-project-psdbg:key.ui:jar:2.7-SNAPSHOT, key-project-psdbg:key.util:jar:2.7-SNAPSHOT, key-project-psdbg:recoder:jar:2.7: Could not find artifact edu.kit.iti.formal.psdbg:keydeps:jar:1.0 in central (https://repo.maven.apache.org/maven2) -> [Help 1]
28972 [ERROR]
28972 [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
28972 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
28972 [ERROR]
28973 [ERROR] For more information about the errors and possible solutions, please read the following articles:
28973 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
ERROR: Job failed: exit code 1
failed
sonar Deploy There is an unknown failure, please try again
110736 [INFO] Publish mode
110989 [INFO] Load global settings
111734 [INFO] Load global settings (done) | time=745ms
111755 [INFO] Server id: AVdllfqQ9IFRWI6U49y8
111774 [INFO] User cache: /root/.sonar/cache
112332 [INFO] Load plugins index
112584 [INFO] Load plugins index (done) | time=252ms
112585 [INFO] Load/download plugins
ERROR: Job failed (system failure): aborted: terminated