allow setting to change which java is used to launch the server

@tamird @xaviershay