Port up Jeremy's code for initializing servlet parameters