Program: 64252
Project: 64252
Buggy source:
@SuppressWarnings("String_Node_Str") @Test public void updateVeeArrayPhones() throws SQLException {
  Invocation invocation=new Invocation("String_Node_Str");
  invocation.setParameter("String_Node_Str",2);
  Phone newPhone1=new Phone();
  newPhone1.areaCode="String_Node_Str";
  newPhone1.phonenumber="String_Node_Str";
  newPhone1.type="String_Node_Str";
  Phone newPhone2=new Phone();
  newPhone2.areaCode="String_Node_Str";
  newPhone2.phonenumber="String_Node_Str";
  newPhone2.type="String_Node_Str";
  Vector newPhones=new NonSynchronizedVector();
  newPhones.add(newPhone1);
  newPhones.add(newPhone2);
  invocation.setParameter("String_Node_Str",newPhones);
  Operation op=xrService.getOperation(invocation.getName());
  Object result=op.invoke(xrService,invocation);
  assertNotNull("String_Node_Str",result);
  Document doc=xmlPlatform.createDocument();
  XMLMarshaller marshaller=xrService.getXMLContext().createMarshaller();
  marshaller.marshal(result,doc);
  Document controlDoc=xmlParser.parse(new StringReader(VALUE_1_XML));
  assertTrue("String_Node_Str",comparer.isNodeEqual(controlDoc,doc));
  invocation=new Invocation("String_Node_Str");
  invocation.setParameter("String_Node_Str",2);
  op=xrService.getOperation(invocation.getName());
  result=op.invoke(xrService,invocation);
  assertNotNull("String_Node_Str",result);
  doc=xmlPlatform.createDocument();
  marshaller=xrService.getXMLContext().createMarshaller();
  marshaller.marshal(result,doc);
  controlDoc=xmlParser.parse(new StringReader(UPDATED_EMPLOYEE_XML));
  assertTrue("String_Node_Str",comparer.isNodeEqual(controlDoc,doc));
}

Fixed version (ground truth):
@SuppressWarnings({"String_Node_Str","String_Node_Str"}) @Test public void updateVeeArrayPhones() throws SQLException {
  Invocation invocation=new Invocation("String_Node_Str");
  invocation.setParameter("String_Node_Str",2);
  Phone newPhone1=new Phone();
  newPhone1.areaCode="String_Node_Str";
  newPhone1.phonenumber="String_Node_Str";
  newPhone1.type="String_Node_Str";
  Phone newPhone2=new Phone();
  newPhone2.areaCode="String_Node_Str";
  newPhone2.phonenumber="String_Node_Str";
  newPhone2.type="String_Node_Str";
  Vector newPhones=new NonSynchronizedVector();
  newPhones.add(newPhone1);
  newPhones.add(newPhone2);
  invocation.setParameter("String_Node_Str",newPhones);
  Operation op=xrService.getOperation(invocation.getName());
  Object result=op.invoke(xrService,invocation);
  assertNotNull("String_Node_Str",result);
  Document doc=xmlPlatform.createDocument();
  XMLMarshaller marshaller=xrService.getXMLContext().createMarshaller();
  marshaller.marshal(result,doc);
  Document controlDoc=xmlParser.parse(new StringReader(VALUE_1_XML));
  assertTrue("String_Node_Str",comparer.isNodeEqual(controlDoc,doc));
  invocation=new Invocation("String_Node_Str");
  invocation.setParameter("String_Node_Str",2);
  op=xrService.getOperation(invocation.getName());
  result=op.invoke(xrService,invocation);
  assertNotNull("String_Node_Str",result);
  doc=xmlPlatform.createDocument();
  marshaller=xrService.getXMLContext().createMarshaller();
  marshaller.marshal(result,doc);
  controlDoc=xmlParser.parse(new StringReader(UPDATED_EMPLOYEE_XML));
  assertTrue("String_Node_Str",comparer.isNodeEqual(controlDoc,doc));
}