contentType=='text/xhtml'); 
contentType=='text/xhtml' || contentType=='application/xhtml+xml'); 
        watch: function(doc, force) {            var contentType, location, is_html, is_usable, is_my_readme;            if (!force) {                /* Check that this is a document we want to play with. */                contentType = doc.contentType;                location = doc.location;                is_html = (contentType=='text/html' ||                               contentType=='text/xhtml');                //var is_xul=(contentType=='application/vnd.mozilla.xul+xml');                is_usable = (is_html) &&                     location.protocol != 'about:' &&                    location.protocol != 'chrome:';                is_my_readme = location.href == that.README;                if (!(is_usable || is_my_readme)) {                     that.debuglog('watch(): ignoring -- ',                                  location, contentType);                    return;                }            }            that.refreshDocument(doc);            that.monitor.documents.push(doc);        },
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/4db82143713bc3ccb234529877dd5d886d7028fe/itsalltext.js/buggy/src/chrome/content/itsalltext.js