HttpServletRequest.new HttpServletMapping() {...}

Source file "jakarta/servlet/http/HttpServletRequest.java" was not found during generation of report.

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total27 of 270%0 of 0n/a668866
toString()130%n/a113311
{...}60%n/a111111
getMatchValue()20%n/a111111
getPattern()20%n/a111111
getServletName()20%n/a111111
getMappingMatch()20%n/a111111