当我尝试在 linux shell 中运行以下 shell 脚本时，
cd /home/fpalma/Project/resources/yices/linux64bit/
bash
chmod a+x yices
./yices /home/fpalma/Project/out/SMT.ys > /home/fpalma/Project/out/SMT.txt
它正在运行并生成文本文件作为该 yices 可执行文件的输出。但是当我使用代码从 Java 运行相同的 shell 脚本时，
String command = mainGUI.PROJECT_PATH+"resources/"+"yices.sh";
process = Runtime.getRuntime().exec(command);
process.waitFor();
或者
String command = mainGUI.PROJECT_PATH+"resources/"+"yices.sh";
pb = new ProcessBuilder(command);
run = Runtime.getRuntime();
Process p = pb.start();
它也在运行，但没有退出，除非我退出 java 编译器本身，否则它不会生成文本输出文件。有什么建议么？？？
目标：我的目标是使用输入参数文件从 java 运行可执行文件，然后使用“>”运算符生成输出文本文件。