Extended Service Publisher API to allow passing of servlet initialization parameters