fixing typo in bash script batch_web2xsd, plus update to 1.02