Modifica disposições do Decreto-lei n. 1.237, de 2 de maio de 1939, que organiza a Justiça do Trabalho.