* added a patch for the Kimwitu++ files to have correct "pointer-to-int" casts for x86_64 architectures
* added a patch for the Kimwitu++ files to have correct "pointer-to-int" casts for x86_64 architectures


nlohmann/bpel2owfn,nlohmann/bpel2owfn