tungsten: default to jre