updated WAR filename used for the production server