if (pe.getMissingPermission() == PermissionType.READ_DIRECTORY && !pe.getPath().equals(f.getAbsolutePath()))
{
// see https://java.net/jira/browse/XADISK-120
return false;
}
throw new ResourceTransactionException(pe);
}
catch (Exception e)
{
throw new ResourceTransactionException(e);
}
}