There seems to be an infinite loop in `XMLEncoder.nextAutoPrefix()`, `nextAutoPrefixNo` is never incremented Thanks