webAppClass, possibleWebMethodNamesAutomaton);
// errror checking
if (webMethodsByName.isEmpty()) {
// no webmethods hits is an error
Feedbacks.add(new NoWebMethodHit(makeURLEnclosingMethod,
makeURLstatement, targetedWebApp,
possibleWebMethodNamesAutomaton));
} else {
// check if the makeURL can hit more names than we have available: a
// possible error