Improve handling of <video>, <figure> and <br>

src/com/dom_distiller/client/FilteringDomVisitor.java

Index: src/com/dom_distiller/client/FilteringDomVisitor.java
diff --git a/src/com/dom_distiller/client/FilteringDomVisitor.java b/src/com/dom_distiller/client/FilteringDomVisitor.java
index 3c2d6c97de7f2ccd3711b2a036674c1a676b1e28..d803706a7b0b07a03d72eaf0fadad6965e872c1a 100644
--- a/src/com/dom_distiller/client/FilteringDomVisitor.java
+++ b/src/com/dom_distiller/client/FilteringDomVisitor.java
@@ -6,7 +6,6 @@ package com.dom_distiller.client;
 
 import com.google.gwt.dom.client.Element;
 import com.google.gwt.dom.client.Node;
-import com.google.gwt.dom.client.NodeList;
 import com.google.gwt.dom.client.Style;
 import com.google.gwt.dom.client.TableElement;
 
@@ -57,6 +56,12 @@ public class FilteringDomVisitor implements DomWalker.Visitor {
                     return false;
                 }
             }
+
+            // Don't traverse into text that will be restored into the DOM as part of a logical
+            // block when reconstructing the HTML.
+            if (e.hasTagName("FIGURE") || e.hasTagName("VIDEO")) {
+                return false;
+            }
         }
         return domVisitor.visit(n);
     }