@@ -0,0 +1,507 @@
+package MWC.GUI;%0A%0Aimport java.awt.Font;%0A%0Apublic class Defaults%0A%7B%0A  public static interface FontProvider%0A  %7B%0A    public Font getDefaultFont();%0A  %7D%0A%0A  private static FontProvider _provider;%0A%0A  public static void setProvider(FontProvider provider)%0A  %7B%0A    _provider = provider;%0A  %7D%0A%0A  public static Font getFont()%0A  %7B%0A    final Font pref = _provider != null ? _provider.getDefaultFont() : null;%0A    final Font res = pref != null ? pref : new Font(%22Arial%22,%0A        Font.PLAIN, 10);%0A      %0A    return res;%0A  %7D%0A%7D%0A

Introduce utility class that provides access to the default font