Use Workspace default JRE (setting)

Signed-off-by: Erik de Bruin <erik@ixsoftware.nl>