#! /bin/sh /usr/share/dpatch/dpatch-run
## 01_free_javac.dpatch by  <gregor+debian@comodo.priv.at>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Changes to be able to compile JabRef with free java compilers.
##     Thanks to Matthias Klose, cf. #383006

@DPATCH@
diff -urNad jabref~/src/java/net/sf/jabref/JabRef.java jabref/src/java/net/sf/jabref/JabRef.java
--- jabref~/src/java/net/sf/jabref/JabRef.java	2008-03-16 16:09:28.000000000 +0100
+++ jabref/src/java/net/sf/jabref/JabRef.java	2008-03-16 16:11:42.000000000 +0100
@@ -70,7 +70,6 @@
 import com.jgoodies.looks.FontSet;
 import com.jgoodies.looks.FontSets;
 import com.jgoodies.looks.plastic.Plastic3DLookAndFeel;
-import com.jgoodies.looks.windows.WindowsLookAndFeel;
 
 /**
  * JabRef Main Class - The application gets started here.
@@ -609,27 +608,6 @@
 
                     //Plastic3DLookAndFeel plLnf = (Plastic3DLookAndFeel) lnf;
                 }
-                else if ((lnf != null) && (lnf instanceof WindowsLookAndFeel)) {
-
-                    // Set a "model" icon size, so menu items are evenly spaced even though
-                    // only some items have icons. We load an arbitrary icon and look at
-                    // its size to determine what size to use:
-                    int defaultIconSize = GUIGlobals.getImage("open").getIconWidth();
-                    com.jgoodies.looks.Options.setDefaultIconSize
-                        (new Dimension(defaultIconSize, defaultIconSize));
-
-                    if (overrideDefaultFonts) {
-                        FontSet fontSet = FontSets.createDefaultFontSet(
-                            new Font("Tahoma", Font.PLAIN, fontSizes),    // control font
-                            new Font("Tahoma", Font.PLAIN, fontSizes),    // menu font
-                            new Font("Tahoma", Font.BOLD, fontSizes)     // title font
-                            );
-                        FontPolicy fixedPolicy = FontPolicies.createFixedPolicy(fontSet);
-                        WindowsLookAndFeel.setFontPolicy(fixedPolicy);
-                    }
-
-                    //WindowsLookAndFeel plLnf = (WindowsLookAndFeel) lnf;
-                }
 
                 if (lnf != null) {
                     try {