Clarification of JRE to use