חוק השופטים, התשי"ג-1953 — בטל