The 100% Marxist part goes without saying...otherwise she wouldn't be under consideration.
If Ginsberg were to retire, her replacement would obviously be female, but even if a male justice stepped down, I think Obama would select another woman--after all, the male justices are still in the majority.