jslintxml infos