this.name = name;
}
public void URLRecord(DateTime localAccessTime, DateTime accessTime, DateTime modTime, String url,
String file, String directory, String httpHeaders) {
URLLEAKRecord u = new URLLEAKRecord("URL", localAccessTime, accessTime, modTime, url, file,
directory, httpHeaders, offset, rec);
if (initialized) {
if (!newUrlRecords.contains(u)) {
newUrlRecords.add(u);
}