src/Pure/Tools/build.scala

         (info.command_timings, session_timing)
       }
       catch {
         case ERROR(msg) => ignore_error(msg)
         case exn: java.lang.Error => ignore_error(Exn.message(exn))
-        case _: XML.XML_Atom | _: XML.XML_Body => ignore_error("")
+        case _: XML.Error => ignore_error("")
       }
     }
 
     val queue = Queue(selected_tree, load_timings)