Generalization of font handling: the new class FontProperties combines
the properties we can get from java.awt.Font with those from a resource
with font information. It is also the basis for the named FontStyle.