Searched refs:saver (Results 1 – 1 of 1) sorted by relevance
426 SaveStrategy saver = new SaveStrategy(file); in saveDocument() local427 scanDocument(saver); in saveDocument()428 saver.close(); in saveDocument()
Completed in 17 milliseconds