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)
commit11039f95eeb6032e3159f5afa0bfe975dc7c7143
treebd044ba34b7a3d22d7e0cbf14df6689223271412
parentdcffc7ac20352499e994cc78607dbd0894902bfd
Update build dependency on JVM to "openjdk-7-jre | java6-runtime".

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