equal
deleted
inserted
replaced
261 } |
261 } |
262 } |
262 } |
263 } |
263 } |
264 |
264 |
265 private synchronized void flushAndClose() throws SecurityException { |
265 private synchronized void flushAndClose() throws SecurityException { |
266 checkAccess(); |
266 checkPermission(); |
267 if (writer != null) { |
267 if (writer != null) { |
268 try { |
268 try { |
269 if (!doneHeader) { |
269 if (!doneHeader) { |
270 writer.write(getFormatter().getHead(this)); |
270 writer.write(getFormatter().getHead(this)); |
271 doneHeader = true; |
271 doneHeader = true; |