this.log("Something seems to be wrong. I see visible content @ "+path+", while some of the ancestor nodes reported empty contents. Probably a new selection API bug....");
this.log("Anyway, text is '"+cont+"'.");
thrownewError("Failed to scan document: got inconsistent data from selection API.");