changed command line parameter to designate extra servlet war files to war instead of os