[PAXWEB-479] Actually, the initial fix was correct - if precompiled JSPs are used a default/null servlet name is right, sorry about the noise