You can also set up a manual batch or shell file t...

# tornadofx

[thomasnield]

You can also set up a manual batch or shell file to check and copy over the JRE before launching. I've done that setup too.