170171172173174175176177178179180
} } } public void REDRRecord(String url) { REDRRecord u = new REDRRecord(url, offset); if (initialized) { if (!newUrlRecords.contains(u)) { newUrlRecords.add(u); } } else {