/** @param fieldNames a case-insensitive set of HTTP header field names. */
 @DSSource({DSSourceKind.SENSITIVE_UNCATEGORIZED})
 @DSGenerator(
     tool_name = "Doppelganger",
     tool_version = "2.0",
     generated_on = "2013-12-30 13:02:32.335 -0500",
     hash_original_method = "DFF30A75B51A172BE4172930F32BB680",
     hash_generated_method = "F866F29DDC94BA144419BC2D0696D255")
 public RawHeaders getAll(Set<String> fieldNames) {
   RawHeaders result = new RawHeaders();
   for (int i = 0; i < namesAndValues.size(); i += 2) {
     String fieldName = namesAndValues.get(i);
     if (fieldNames.contains(fieldName)) {
       result.add(fieldName, namesAndValues.get(i + 1));
     }
   }
   return result;
 }