if (pe.getMissingPermission() == PermissionType.READ_DIRECTORY && !pe.getPath().equals(f.getAbsolutePath()))
{
// see https://java.net/jira/browse/XADISK-120
return false;
}
throw new ResourceTransactionException("Error while checking if file exists and is a directory", pe);
}
catch (Exception e)
{
throw new ResourceTransactionException("Error while checking if file exists and is a directory", e);
}
}