Update XMLTools.js

Make Android happier