BUG - Error Highlighting

Question

I think I stepped into a bug in JDeveloper Studio Edition Version 10.1.3.0.4.3673 concerining error-highlighting.
I was coding a class that perfoms some XML parsing and the following line was marked as an containing an error:
String url = node.getTextContent();
The getTextContent() method was not recognized nor was shown on the code completion feature.
Regards.

Answer 1

Here it is. Although the error sign is displayed the code compiles and runs without problems.
Regards;
* Code
package br.com.*****.meerkat.menu;
import br.com.*****.admin.Resource;
import java.io.IOException;
import java.util.HashSet;
import java.util.Iterator;
import java.util.Set;
import javax.xml.parsers.DocumentBuilder;
import javax.xml.parsers.DocumentBuilderFactory;
import javax.xml.parsers.ParserConfigurationException;
import org.w3c.dom.Document;
import org.w3c.dom.Node;
import org.w3c.dom.NodeList;
import org.xml.sax.SAXException;
* @author fabio
public class XMLBasedMenu implements MenuMaker {
private Document indoc;
private Set resourcesUrls;
/* (non-Javadoc)
     * @see meerkat.MenuMaker#getCustomizedMenu(java.util.Set)
public Document getCustomizedMenu(Set resources)
throws ParserConfigurationException, SAXException, IOException {
setResourceURLs(resources);
// Instanciate a DocumentBuilderFactory and use it to provide
// access to a DocumentBuilder
DocumentBuilderFactory dfactory = DocumentBuilderFactory.newInstance();
dfactory.setCoalescing(true);
dfactory.setIgnoringComments(true);
dfactory.setNamespaceAware(true);
dfactory.setIgnoringElementContentWhitespace(true);
DocumentBuilder dBuilder = dfactory.newDocumentBuilder();
// Obtains the master menu
indoc = dBuilder.parse(getClass().getResourceAsStream("menu.xml"));
// Filters the default menu considering the user's
// resources
try {
adjustDomTree(indoc);
} catch (NullPointerException npe) {
npe.printStackTrace();
return indoc;
     * Fills the resourcesUrls set with the urls of the resources
     * available to the user.
     * @param resources - resources the user has access rights.
     * @return - Set containing the urls.
private void setResourceURLs(Set resources) {
resourcesUrls = new HashSet();
Iterator iterator = resources.iterator();
Resource r;
while (iterator.hasNext()) {
r = (Resource)iterator.next();
// The url property of the Resource class is unique, so there will
// never exist repetitions
resourcesUrls.add(r.getUrl());
public void adjustDomTree(Document doc) {
if (doc == null) {
return;
NodeList nl = doc.getElementsByTagName("link");
int len = nl.getLength();
String url;
for (int i = 0 ; i < len ; i++) {
Node n = nl.item(i);
url = n.getTextContent();
if (!resourcesUrls.contains(url)) {
Node parent = n.getParentNode();
Node grandParent = parent.getParentNode();
grandParent.removeChild(parent);
}