Known good commit: 8b13225

This one is also good 2c8615e (one needs to do some checout magic to get it working)

First bad commit: #13386

First reported at Kaan0029#1

Proposal:

Add a catch for a RuntimeException at theme switching - and just log an error. Do not crash complete JabRef.