Merge branch 'master' of git.scc.kit.edu:xt9634/ProofScriptParser

* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser:
  Highlighting of node in proof tree, interactive mode now working a bit better
  Bugfix that removed/expanded nodes were still in state due to selectedGoalNode field
6 jobs for master in 1 minute and 34 seconds (queued for 1 second)
Status Job ID Name Coverage
  Setup
passed #22666
setup

00:00:39

 
  Build
failed #22667
build

00:00:54

 
  Test
skipped #22668
test
 
  Deploy
skipped #22669
allowed to fail
deploy
skipped #22671
allowed to fail
site
skipped #22670
allowed to fail
sonar
 
Name Stage Failure
failed
build Build There is an unknown failure, please try again
40263 [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
40263 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
40263 [ERROR]
40263 [ERROR] For more information about the errors and possible solutions, please read the following articles:
40264 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
40264 [ERROR]
40264 [ERROR] After correcting the problems, you can resume the build with the command
40264 [ERROR] mvn <goals> -rf :ui
ERROR: Job failed: exit code 1