Searched refs:zoneInfoFile (Results 1 – 1 of 1) sorted by relevance
84 File zoneInfoFile = new File("zoneinfo.dat"); in ZoneCompactor() local85 zoneInfoFile.delete(); in ZoneCompactor()86 OutputStream zoneInfo = new FileOutputStream(zoneInfoFile); in ZoneCompactor()