Tenho um programa externoLontr que obtém como parâmetro algum nome de arquivo e cria um arquivo de saída, também especificado como parâmetro. Por exemplo, se minha entrada for "proof.in" e desejar que minha saída seja colocada no arquivo "proof.out", execute o seguinte comando no terminal:

otter <proof.in >proof.out

O arquivo "proof.in" deve estar no mesmo arquivo que o executável lontr

O problema é que eu preciso dessa funcionalidade do Java, portanto, no meu código Java, faço o seguinte:

java.lang.Runtime.getRuntime().exec("otter <proof.in >proof.out")

mas depois dessa linha, toda a interface do usuário fica congelada, nada acontece e nenhum arquivo de saída é gerad

Alguém poderia me mostrar onde eu errei ??

Agradecemos antecipadamente, Tamash