Executing linux .sh file from Java with a parameter file as input and writing the output to .txt file?

Your "command" variable should contain the full command, that is : mainGUI. PROJECT_PATH+"resources/"+"yices.sh /home/fpalma/Project/out/SMT. Ys > /home/fpalma/Project/out/SMT.txt.

I cant really gove you an answer,but what I can give you is a way to a solution, that is you have to find the anglde that you relate to or peaks your interest. A good paper is one that people get drawn into because it reaches them ln some way.As for me WW11 to me, I think of the holocaust and the effect it had on the survivors, their families and those who stood by and did nothing until it was too late.