Os suplicantes, engenheiros e químicos, do Arsenal da Marinha do Rio de Janeiro, impetraram mandado de segurança para que fosse recolhido o direito a contagem de tempo integral de serviço de acordo com a Lei n° 3780 de 12/07/1960, visto que exerciam suas funções nestas condições. O juiz Wellington Moreira Pimentel negou a segurança impetrada. O Tribunal Federal de Recursos negou provimento ao recurso.