Mudanças na lei de arbitragem (Lei 9.307, de 23.09.1996): observações sobre a Lei 13.129, de 26.05.2015: visão de um antigo magistrado