Just my guess, but I would say it's something as simple as popularity? xz is not widely used on Windows and 7z is kinda universally used/recognized at this point so... I'm guessing it's just a coin-flip decision.