Windows builds use JRE7.