protected org.eclipse.ocl.pivot.@NonNull Package createPackage(
     org.eclipse.ocl.pivot.@NonNull Package domainPackage) {
   org.eclipse.ocl.pivot.Package pivotPackage = PivotFactory.eINSTANCE.createPackage();
   pivotPackage.setName(domainPackage.getName());
   pivotPackage.setURI(domainPackage.getURI());
   for (org.eclipse.ocl.pivot.Class domainType : domainPackage.getOwnedClasses()) {
     if (domainType != null) {
       org.eclipse.ocl.pivot.Class pivotType = createType(domainType);
       pivotPackage.getOwnedClasses().add(pivotType);
     }
   }
   return pivotPackage;
 }