From d83ae6e065d5d33153f65376191642771f21c6e8 Mon Sep 17 00:00:00 2001
From: Vogel612 <vogel612@gmx.de>
Date: Mon, 24 Jan 2022 10:34:45 +0100
Subject: [PATCH] Restore public API Archive#isLibraryFileName as @Deprecated

---
 .../src/main/java/edu/umd/cs/findbugs/util/Archive.java    | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/spotbugs/src/main/java/edu/umd/cs/findbugs/util/Archive.java b/spotbugs/src/main/java/edu/umd/cs/findbugs/util/Archive.java
index 66510d2c686..56351a97bb2 100644
--- a/spotbugs/src/main/java/edu/umd/cs/findbugs/util/Archive.java
+++ b/spotbugs/src/main/java/edu/umd/cs/findbugs/util/Archive.java
@@ -70,4 +70,11 @@ private static String getExtension(String fileName) {
         String extension = fileName.substring(lastDot).toLowerCase(Locale.ENGLISH);
         return extension;
     }
+
+    @Deprecated
+    @SuppressWarnings("unused") // unused within the codebase, but deprecated until next release for public API reasons
+    public static boolean isLibraryFileName(String fileName) {
+        String extension = getExtension(fileName);
+        return ".jar".equals(extension);
+    }
 }