Specify Java JRE per Server

Not currently in the UI, but available by editing the config from terminal: