Change xml-not-well-formed to not-well-formed

Fixes SMACK-400