Can a 64-bit Java Runtime Environment (JRE) be used for the GEN85JRE & GEN80JRE environment variables to run the java based Gen 8.x tools?