added java.library.path setting (which may or may not be necessary) as part of figuring out how to embed the JDK for Gatekeeper