JabRef version 5.0-dev (commit db96f88 master) on Ubuntu-16.04 x86_64

[x ] I have tested the latest development version from * master db96f88 Fix problem with search and switching between libraries (#5326) from https://github.com/JabRef/jabref.git and the problem persists

java.lang.NullPointerException is raised (thrown) when a file is selected for opening from the "Recent libraries" list, and this file no longer exists.

Note: Options|Preferences|File|Open last edited libraries at startup is unchecked in my configuration.

Steps to reproduce the behavior:

1. Start the JabRef: build/image/bin/JabRefMain &
2. Navigate through "File|Open library" and open any library, say "test1.bib"
3. Exit JabRef
4. Rename or remove the library, e.g. mv test1.bib test2.bib
5. Start the JabRef again: : build/image/bin/JabRefMain &
6. Navigate to "File|Recent libraries". Find the removed file, "test1.bib", and click its name.
   An unhandled Java exception is reported by the GUI: