@DSGenerator(
     tool_name = "Doppelganger",
     tool_version = "2.0",
     generated_on = "2013-12-30 12:32:42.019 -0500",
     hash_original_method = "E5A69925BDA73DD9E81D8A1F8F42F257",
     hash_generated_method = "BC29193EBB18DD714A911DC3105CD009")
 public void addPackageNames(Set<String> packageNames) {
   // Formerly a native method
   addTaint(packageNames.getTaint());
 }