Delete runDecjTests.sh