built with a headless jre. This font will be installed if a non-headless jre is
installed, so this shouldn't be a controversial change.