Aside from storing it in the context or hard coding it somewhere is there any standard equivalent to ServletContext.getVirtualServerName()
The purpose of which is for developing a JASPIC AuthConfigProvider.
Not really, ServletContext.getVirtualServerName()
was specifically meant to fill that exact gap in the specs.