Would really like to include the 14 fonts that are guaranteed to be
available to a PDF document.  However, we only have them in Type 1
format and Java can only dynamically load TrueType.  We could convert
them to TrueType, but that's likely to lose quality.  So we hope that
Java will eventually be able to dynamically load Type 1 fonts.

Thus, for now, users should install the Type 1 fonts on their system.
