how old was mace windu when he died