"judicial service" means a service comprising persons holding judicial posts not being posts superior to that of a district judge.