From 5572326263c8a12623d54b9869d66d334023fe9a Mon Sep 17 00:00:00 2001
From: Siedlerchr <siedlerkiller@gmail.com>
Date: Fri, 28 Jan 2022 20:28:58 +0100
Subject: [PATCH] Potential fix for Library tab issue

Fixes #614#issuecomment-1021577802
---
 src/main/java/org/jabref/gui/JabRefFrame.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/java/org/jabref/gui/JabRefFrame.java b/src/main/java/org/jabref/gui/JabRefFrame.java
index 267898dbe95..493ab7549e6 100644
--- a/src/main/java/org/jabref/gui/JabRefFrame.java
+++ b/src/main/java/org/jabref/gui/JabRefFrame.java
@@ -566,7 +566,8 @@ public LibraryTab getLibraryTabAt(int i) {
      */
     public List<LibraryTab> getLibraryTabs() {
         return tabbedPane.getTabs().stream()
-                         .map(tab -> (LibraryTab) tab)
+            .filter(LibraryTab.class::isInstance)
+                         .map(LibraryTab.class::cast)
                          .collect(Collectors.toList());
     }