Update build dependency on JVM to "openjdk-7-jre | java6-runtime".
authorgregor herrmann <gregoa@debian.org>
Mon, 29 Oct 2012 21:27:04 +0000 (22:27 +0100)
committergregor herrmann <gregoa@debian.org>
Mon, 29 Oct 2012 21:27:04 +0000 (22:27 +0100)
Using default-jre is probably no good idea, since this installs gcj-jre on
several architectures.

Update wrapper script as well.

Thanks: Torquil Macdonald Sørensen for the bug report.
Closes: #689253

debian/control
debian/jabref-wrapper

index 5ad158e..68f7d67 100644 (file)
@@ -48,7 +48,7 @@ Depends: ${misc:Depends},
  libmysql-java,
  libpdfbox-java (>= 1:1.5.0),
  libspin-java,
- openjdk-6-jre | sun-java6-jre,
+ openjdk-7-jre | java6-runtime,
  velocity (>=1.5)
 Recommends: xdg-utils
 Suggests: gv | postscript-viewer,
index 6d0ecea..53c67b2 100644 (file)
@@ -3,8 +3,8 @@
 # Include the wrappers utility script
 . /usr/lib/java-wrappers/java-wrappers.sh
 
-# We need openjdk6 or sun6 runtime.
-find_java_runtime openjdk6 sun6
+# We need openjdk7/6 or sun6 runtime.
+find_java_runtime openjdk sun6
 
 find_jars jabref antlr antlr3 jgoodies-looks forms spin glazedlists microba pdfbox jempbox mysql-connector-java JPFCodeGenerator-rt jpf jpf-boot commons-logging jgoodies-common