Mudança realizada pela equipe 04. Alteração feita na classe
JabRefPreferences.java.
Commit da Equipe 4. Mudança do comando de fechar o database. De "Ctrl W"
para "Ctrl Shift W".