JabRef version on

• Mandatory: I have tested the latest development version from http://builds.jabref.org/master/ and the problem persists

If you change the preferred font size of JabRef under preferences/appearance, the font size of the GUI is updated on reload of JabRef, but the font size of the preferences dialog remains the same.

Steps to reproduce the behavior:

1. Open JabRef.
2. Press Options, Preferences and then open the Appearance tab.
3. Change the font size to 12 or 14 as an example.
4. Save the changes and reload JabRef.
5. Open the Preferences dialog again. You can see that the font size of this dialog remains the same.

Paste an excerpt of your log file here