331332333334335336337338339340341
HTMLDocument doc = (HTMLDocument)logs.getDocument(); try { msg = filterForBugID4988885(msg); doc.insertBeforeStart(doc.getElement(LASTID), msg); } catch (Throwable t) { // Bug t.printStackTrace();