Override JBossWeb -- fixes virtual-server alias.