}
String href = hrefVal.getStringValue();
// suppress all error messages while attempting to fetch the document
Controller controller = context.getController();
ErrorListener old = controller.getErrorListener();
controller.setErrorListener(ErrorDiscarder.THE_INSTANCE);
boolean b = docAvailable(href, context);
controller.setErrorListener(old);
return BooleanValue.get(b);
}