Add some checks and default JabRef preferences