Searched refs:index1 (Results 1 – 1 of 1) sorted by relevance
1291 File index1 = new File(dir, "index-1.mht"); in testSaveWebArchive() local1292 deleteIfExists(index1); in testSaveWebArchive()1293 String index1Str = index1.getAbsolutePath(); in testSaveWebArchive()1316 String index1Mhtml = readTextFile(index1, StandardCharsets.UTF_8); in testSaveWebArchive()1327 deleteIfExists(index1); in testSaveWebArchive()