allow setting to change which java is used to launch the server
Merge pull request #29 from square/add-java-setting

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