From 13a574557b994f1777ebe2fb83d8fa56d178865b Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Wed, 6 Nov 2019 16:09:54 -0600
Subject: [PATCH] JarFileResource.getFile() now returns the Jar's java.io.File
 object

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
---
 .../org/eclipse/jetty/util/resource/JarFileResource.java  | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/jetty-util/src/main/java/org/eclipse/jetty/util/resource/JarFileResource.java b/jetty-util/src/main/java/org/eclipse/jetty/util/resource/JarFileResource.java
index cf6252f6bc1..eea92e9f19d 100644
--- a/jetty-util/src/main/java/org/eclipse/jetty/util/resource/JarFileResource.java
+++ b/jetty-util/src/main/java/org/eclipse/jetty/util/resource/JarFileResource.java
@@ -404,4 +404,12 @@ public class JarFileResource extends JarResource
         URL url = new URL(string);
         return url.sameFile(resource.getURI().toURL());
     }
+
+    @Override
+    public File getFile()
+    {
+        if (_file != null)
+            return _file;
+        return null;
+    }
 }