equal
deleted
inserted
replaced
247 } |
247 } |
248 } |
248 } |
249 } |
249 } |
250 |
250 |
251 private synchronized void flushAndClose() throws SecurityException { |
251 private synchronized void flushAndClose() throws SecurityException { |
252 checkAccess(); |
252 checkPermission(); |
253 if (writer != null) { |
253 if (writer != null) { |
254 try { |
254 try { |
255 if (!doneHeader) { |
255 if (!doneHeader) { |
256 writer.write(getFormatter().getHead(this)); |
256 writer.write(getFormatter().getHead(this)); |
257 doneHeader = true; |
257 doneHeader = true; |