// This is temporary, since most of the code still gets the
// specification from the servlet --- in fact, has to downcase
// RequestContext.getServlet() to do so.
__CLOVER_3_0.S[503]++;ApplicationGlobals ag =
(ApplicationGlobals) _registry.getService(
"tapestry.globals.ApplicationGlobals",
ApplicationGlobals.class);
__CLOVER_3_0.S[504]++;_specification = ag.getSpecification();
__CLOVER_3_0.S[505]++;_requestServicer =
(RequestServicer) _registry.getService(
"tapestry.request.RequestServicerPipeline",
RequestServicer.class);