tree c0048dfdb141dd2ec162b616a05c851b003310ec
parent 797481957cfccffa01ebdea7f2ecb86c19c077ac
author Michael Blow <mblow@apache.org> 1554405976 -0400
committer Michael Blow <mblow@apache.org> 1554415291 -0700

[NO ISSUE] Use RuntimeMXBean.getPid() when available

(reapplies 7cc982e5 which was inadvertantly reverted)

Change-Id: I0f4575affd9689f0044bac9959404ad76e133358
Reviewed-on: https://asterix-gerrit.ics.uci.edu/3320
Reviewed-by: Ian Maxon <imaxon@uci.edu>
Integration-Tests: Michael Blow <mblow@apache.org>
Tested-by: Michael Blow <mblow@apache.org>