Extiéndase al personal policial el beneficio del cómputo doble del tiempo de servicio, durante el lapso que duró el estado de guerra interno, a los efectos jubilatorios.