Searched refs:oldContents (Results 1 – 1 of 1) sorted by relevance
163 StringWriter oldContents = new StringWriter(); in writeToSessionFile() local166 readFileToWriter(new PrintWriter(oldContents)); in writeToSessionFile()171 outStream.write(oldContents.toString().getBytes(StandardCharsets.UTF_8)); in writeToSessionFile()