(4) Soudci vojenských soudů a vojenští soudci Nejvyššího soudu Československé socialistické republiky jsou voleni na dobu, po kterou vykonávají vojenskou činnou službu, nebo po kterou jsou příslušníky ozbrojených sborů, nejdéle však na dobu deseti let, jestliže jde o soudce z povolání, a na dobu čtyř let, jestliže jde o soudce z lidu.