public interface Workspace
Resource
getTmpFile()
void
release(Resource tmpFile)
Resource getTmpFile() throws java.io.IOException
java.io.IOException
void release(Resource tmpFile)