private void doPut(File local, VaultFile remote) {
try {
FileInputSource is = new FileInputSource(local);
VaultFsTransaction tx = remote.getFileSystem().startTransaction();
tx.modify(remote, is);
tx.commit();
System.out.println(local.getName() + " " + local.length() + " bytes.");
} catch (IOException e) {
throw new ExecutionException("Error while uploading file: " + e);
} catch (RepositoryException e) {