@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 2006-08-10 21:38:43.000000000 +0200
-+++ jabref/src/java/net/sf/jabref/JabRef.java 2006-09-25 00:30:22.000000000 +0200
-@@ -654,6 +654,15 @@
+--- jabref~/src/java/net/sf/jabref/JabRef.java 2006-09-25 00:43:59.000000000 +0200
++++ jabref/src/java/net/sf/jabref/JabRef.java 2006-09-25 00:44:19.000000000 +0200
+@@ -31,6 +31,7 @@
+
+ import gnu.dtools.ritopt.*;
+ import java.awt.*;
++import java.awt.event.* ;
+
+ import java.io.*;
+ import java.io.File;
+@@ -632,6 +633,15 @@
UIManager.put("SimpleInternalFrame.activeTitleBackground", GUIGlobals.gradientBlue);
//UIManager.put("TabbedPane.selected", Color.red);
}