--- a/src/Tools/jEdit/patches/cobra Sun Mar 04 19:24:05 2012 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,22 +0,0 @@
-diff -ru cobra-0.98.4/src/org/lobobrowser/util/gui/FontFactory.java cobra-0.98.4-patched/src/org/lobobrowser/util/gui/FontFactory.java
---- cobra-0.98.4/src/org/lobobrowser/util/gui/FontFactory.java 2008-12-28 17:33:38.000000000 +0100
-+++ cobra-0.98.4-patched/src/org/lobobrowser/util/gui/FontFactory.java 2011-12-17 15:57:03.000000000 +0100
-@@ -29,8 +29,6 @@
- import java.util.logging.*;
-
- import org.lobobrowser.util.Objects;
--/** Note: Undocumented class? */
--import sun.font.FontManager;
-
- /**
- * @author J. H. S.
-@@ -206,8 +204,7 @@
- }
-
- private Font createFont(String name, int style, int size) {
-- // Proprietary Sun API. Maybe shouldn't use it. Works well for Chinese.
-- return FontManager.getCompositeFontUIResource(new Font(name, style, size));
-+ return new javax.swing.plaf.FontUIResource(name, style, size);
- }
-
- private static class FontKey {