return;
if (referenced.isIncluded())
return;
// test, if source is available
SourcePosition position = referenced.position();
if (position == null || position.file() == null || position.line() == 0) {
// no position, no source, no warning
// getErrorReporter().printNotice(doc.position(), "reference to
// "+referenced+" at "+position);
return;
}