Move servlet configuration file location as servlet init parameter