163             String text = ((Text) node).getData();
 164             ok = ok && text.trim().length() > 0;
 165         }
 166 
 167         if (node.getNodeType() == Node.ELEMENT_NODE || node.getNodeType() == Node.DOCUMENT_NODE) {
 168             Node child = node.getFirstChild();
 169             while (child != null) {
 170                 ok = ok && dump(child, silent, depth + 1);
 171                 child = child.getNextSibling();
 172             }
 173         }
 174         return ok;
 175     }
 176 
 177     public class MyHandler extends DefaultHandler {
 178         public void ignorableWhitespace(char[] ch, int start, int length) {
 179             sawIgnorable = true;
 180         }
 181     }
 182 }
 183 

 163             String text = ((Text) node).getData();
 164             ok = ok && text.trim().length() > 0;
 165         }
 166 
 167         if (node.getNodeType() == Node.ELEMENT_NODE || node.getNodeType() == Node.DOCUMENT_NODE) {
 168             Node child = node.getFirstChild();
 169             while (child != null) {
 170                 ok = ok && dump(child, silent, depth + 1);
 171                 child = child.getNextSibling();
 172             }
 173         }
 174         return ok;
 175     }
 176 
 177     public class MyHandler extends DefaultHandler {
 178         public void ignorableWhitespace(char[] ch, int start, int length) {
 179             sawIgnorable = true;
 180         }
 181     }
 182 }