TODO: Get better Java fonts