Add new patch 05_PrintStream_File, PrintStream(File) is undefined in

  gcj.

diff --git a/debian/changelog b/debian/changelog
index 4e9fcd717717b5a3694d392119eeaa89e16a1c79..acb65b9014522d439c14d4852212e228e7c967eb 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,10 @@ jabref (2.4~beta1-1) UNRELEASED; urgency=low
     debian/rules.
   * Adapt referenced filename in debian/links and debian/install.
   * Refresh patch 01_free_javac.
+  * Add new patch 05_PrintStream_File, PrintStream(File) is undefined in
+    gcj.
 
- -- gregor herrmann <gregor+debian@comodo.priv.at>  Sun, 16 Mar 2008 16:14:22 +0100
+ -- gregor herrmann <gregor+debian@comodo.priv.at>  Sun, 16 Mar 2008 17:04:16 +0100
 
 jabref (2.3.1-2) unstable; urgency=low
 

diff --git a/debian/patches/00list b/debian/patches/00list
index 4626e1dd1dd18eb422833c95b89f8c8f49c8e262..a2d0cb3f422a6a7e61b79f101e51daaf85a413a1 100644 (file)
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,3 +1,4 @@
 01_free_javac
 03_external_apps
 04_HONOR_DISPLAY_PROPERTIES
+05_PrintStream_File

diff --git a/debian/patches/05_PrintStream_File.dpatch b/debian/patches/05_PrintStream_File.dpatch
new file mode 100755 (executable)
index 0000000..4ddf1b5
--- /dev/null
+++ b/debian/patches/05_PrintStream_File.dpatch
@@ -0,0 +1,32 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 05_PrintStream_File.dpatch by  <gregor+debian@comodo.priv.at>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: "The constructor PrintStream(File) is undefined"
+## DP: Work around with a FileOutputStream.
+
+@DPATCH@
+diff -urNad jabref~/src/java/net/sf/jabref/sql/SQLutil.java jabref/src/java/net/sf/jabref/sql/SQLutil.java
+--- jabref~/src/java/net/sf/jabref/sql/SQLutil.java    2008-03-16 17:01:04.000000000 +0100
++++ jabref/src/java/net/sf/jabref/sql/SQLutil.java     2008-03-16 17:03:07.000000000 +0100
+@@ -11,6 +11,8 @@
+ 
+ import java.io.File;
+ import java.io.PrintStream;
++import java.io.BufferedOutputStream;
++import java.io.FileOutputStream;
+ import java.sql.Connection;
+ import java.sql.DriverManager;
+ import java.sql.SQLException;
+@@ -261,8 +263,10 @@
+         if (outfile.exists())
+             outfile.delete();
+ 
++        BufferedOutputStream writer = null;
++        writer = new BufferedOutputStream( new FileOutputStream( outfile ) );
+         PrintStream fout = null;
+-        fout = new PrintStream(outfile);
++        fout = new PrintStream( writer );
+ 
+         exportDatabase_worker(dbtype, database, metaData, keySet, fout);
+