1 In Java feature, it is not possible to have one enum extend another.
2 Finally and most importantly, we include a factor method monoFontFor() in BasicMonoFont , mapping from names to fonts implementing MonoFont .
3 For new fonts, there are at least two ways of adding them.