// 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[11843]++;ApplicationGlobals ag = (ApplicationGlobals) _registry.getService(
"tapestry.globals.ApplicationGlobals",
ApplicationGlobals.class);
__CLOVER_3_0.S[11844]++;_specification = ag.getSpecification();
__CLOVER_3_0.S[11845]++;_requestServicer = (RequestServicer) _registry.getService(
"tapestry.request.RequestServicerPipeline",
RequestServicer.class);
} finally { }}