issue #5281: fix AndroidManifest.xml format error