Code to support launchd launching of minecraft server on Mac OS X