From 38ac5230e4a81e48a112c02f8211bc4f62b989d4 Mon Sep 17 00:00:00 2001
From: Siedlerchr <siedlerkiller@gmail.com>
Date: Fri, 12 Nov 2021 18:50:45 +0100
Subject: [PATCH 1/2] Fix exception for search flags

Fixes #8230
Fixes #8234
---
 src/main/java/org/jabref/preferences/SearchPreferences.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main/java/org/jabref/preferences/SearchPreferences.java b/src/main/java/org/jabref/preferences/SearchPreferences.java
index ea902bfe13b..be3294ac5bd 100644
--- a/src/main/java/org/jabref/preferences/SearchPreferences.java
+++ b/src/main/java/org/jabref/preferences/SearchPreferences.java
@@ -45,6 +45,10 @@ public SearchPreferences(SearchDisplayMode searchDisplayMode, EnumSet<SearchFlag
     }
 
     public EnumSet<SearchFlags> getSearchFlags() {
+        // copy of returns an exception when the EnumSet is empty
+        if(searchFlags.isEmpty()) {
+            return EnumSet.noneOf(SearchFlags.class);
+        }
         return EnumSet.copyOf(searchFlags);
     }
 

From 4ba0f47f1f329eb3421cc2cced0c6069315d2914 Mon Sep 17 00:00:00 2001
From: Siedlerchr <siedlerkiller@gmail.com>
Date: Fri, 12 Nov 2021 18:51:24 +0100
Subject: [PATCH 2/2] checkstyle

---
 src/main/java/org/jabref/preferences/SearchPreferences.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/jabref/preferences/SearchPreferences.java b/src/main/java/org/jabref/preferences/SearchPreferences.java
index be3294ac5bd..10273c0a892 100644
--- a/src/main/java/org/jabref/preferences/SearchPreferences.java
+++ b/src/main/java/org/jabref/preferences/SearchPreferences.java
@@ -46,7 +46,7 @@ public SearchPreferences(SearchDisplayMode searchDisplayMode, EnumSet<SearchFlag
 
     public EnumSet<SearchFlags> getSearchFlags() {
         // copy of returns an exception when the EnumSet is empty
-        if(searchFlags.isEmpty()) {
+        if (searchFlags.isEmpty()) {
             return EnumSet.noneOf(SearchFlags.class);
         }
         return EnumSet.copyOf(searchFlags);