Merge "Use Runtime.halt instead of System.exit in delayed shutdown"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Thu, 19 Jul 2018 11:18:29 +0000 (11:18 +0000)
committerGerrit Code Review <gerrit2@simantics>
Thu, 19 Jul 2018 11:18:29 +0000 (11:18 +0000)

Trivial merge