No matches were found for subject:"Bug#846918\: \[jabref\] Workarounds from Bug #814901 don't seem to work either"