Change default fonts to Microsoft core fonts

The default fonts for Java are ugly bitmap fonts. Changing the
configuration to use the Microsoft core fonts by default gives a nicer
appearance and a better match to the output from Windows.