I don't really mind Superman having to kill an enemy, if that enemy is such a danger that there' a dramatic "no other way!" scene. But these guys, left alone on a dead earth, without technology or powers...seems pretty harsh dude. But instead of retconning this away, they should have just made superman decide that pocket universe people "don't count."