Might be. Or not. Fwiw, women also tend to live longer than men and also report higher happiness figures. A comparison between these three trends could prove interesting."Well, they made their own choices" is not a satisfactory response towards pay disparity arising from gender-driven differences in occupational choices.
Personally, I don't necessarily see it as a problem of women getting shorter and of the stick. Rather, society as a whole might lose out when certain professions are being overly dominated by only one gender.
If pay disparities between different kinds of occupations were only 20%, I´d argue we have pretty much reached communism.And an even more interesting question is why we tolerate such pay disparities between the different kinds of occupations in the first place.