public void write(String filename) throws IOException { elementLock.lock(); wrappedElement.write(filename); elementLock.unlock(); }
public void write(String filename) throws IOException { elementLock.lock(); wrappedElement.write(filename); elementLock.unlock(); }
public void write(FileSink output, String filename) throws IOException { elementLock.lock(); wrappedElement.write(output, filename); elementLock.unlock(); }
public void write(FileSink output, String filename) throws IOException { elementLock.lock(); wrappedElement.write(output, filename); elementLock.unlock(); }