Potential fix for Library tab issue (JabRef#8474)

Fixes JabRef#614#issuecomment-1021577802
btut · Jan 29, 2022 · d710c9a · d710c9a
1 parent b16160e
commit d710c9a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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());
     }