Added option to servlet to specify input file and SPIN file RDF formats