62636465666768697071
} if (urls != null) { while (urls.hasMoreElements()) { URL url = urls.nextElement(); Resource resource = new URLResource(path, this, fullPath, url, true); callback.resourceFound(resource); } } }