From 812ee34bbc14ecefee6d09024e4907479e666678 Mon Sep 17 00:00:00 2001
From: Asger F <asger@semmle.com>
Date: Thu, 7 Nov 2019 15:53:29 +0000
Subject: [PATCH] JS: Use Files.exists() instead

---
 javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
index e67c4095e19..0f5c4ffbfd6 100644
--- a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
+++ b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
@@ -666,7 +666,7 @@ public class AutoBuild {
               throws IOException {
             if (!dir.equals(currentRoot[0]) && (excludes.contains(dir) || dir.toFile().isHidden()))
               return FileVisitResult.SKIP_SUBTREE;
-            if (dir.resolve("codeql-database.yml").toFile().exists()) {
+            if (Files.exists(dir.resolve("codeql-database.yml"))) {
               return FileVisitResult.SKIP_SUBTREE;
             }
             return super.preVisitDirectory(dir, attrs);