added the -validate option to the Soot command line