17011702170317041705170617071708170917101711
{ Iterator eeIterator = extElements.iterator(); while (eeIterator.hasNext()) { op.addExtensibilityElement( (ExtensibilityElement) eeIterator.next() ); } } OperationType style = null;
13301331133213331334133513361337133813391340
/* */ { /* 1673 */ Iterator eeIterator = extElements.iterator(); /* */ /* 1675 */ while (eeIterator.hasNext()) /* */ { /* 1677 */ op.addExtensibilityElement((ExtensibilityElement)eeIterator.next()); /* */ } /* */ /* */ } /* */ /* 1682 */ OperationType style = null;