I'm now using this code. It finds the div nodes with the attribute
"pre1", but it wil not get its child nodes.

if(attr.getValue()=="prel"): Is there something wrong with this line?

                       NodeList sections =
document.getElementsByTagName("div");
                       System.out.println(sections.getLength());
                       for(int i=0; i<sections.getLength();i++)
                       {
                           Element section =(Element)sections.item(i);
                           Attr attr =
(Attr)section.getAttributeNode("class");
                           if(attr==null)
                           {
                               System.out.println("false");
                           }
                           else
                           {
                           System.out.println(attr.getValue());
                           if(attr.getValue()=="prel")
                           {
                                   NodeList name =
section.getChildNodes();

System.out.println(name.getLength());
                                   for(int j=0;
j<name.getLength();j++)
                                   {
                                       Element list =
(Element)name.item(j);
                                       String title =
getText(list.getFirstChild());
                                       System.out.println(title);
                                   }
                           }
                           }
                           
                       }