Fix for when awt.font.desktophints is null (can be on Linux, apparently)#9

amake wants to merge 1 commit intocmadsen:mastercmadsen/vldocking:masterfrom

omegat-org:feature/linux-hints-fixomegat-org/vldocking:feature/linux-hints-fixCopy head branch name to clipboard