a JRE and an executable for distributing Java applications on Windows