Searched refs:index1 (Results 1 – 1 of 1) sorted by relevance
1287 File index1 = new File(dir, "index-1.mht"); in testSaveWebArchive() local1288 deleteIfExists(index1); in testSaveWebArchive()1289 String index1Str = index1.getAbsolutePath(); in testSaveWebArchive()1312 String index1Mhtml = readTextFile(index1, StandardCharsets.UTF_8); in testSaveWebArchive()1323 deleteIfExists(index1); in testSaveWebArchive()