Bug#711842: jabref: Fails to start with openjdk-7

2013-06-11 Thread Tobias Winchen
Hi, On Monday 10 June 2013 gregor herrmann wrote: Could you please run dpkg -l openjdk* | grep ^ii and paste the output? ii openjdk-6-jdk:amd64 6b27-1.12.5-2 amd64OpenJDK Development Kit (JDK) ii openjdk-6-jre:amd64

Bug#711842: jabref: Fails to start with openjdk-7

2013-06-11 Thread gregor herrmann
Control: tag -1 - moreinfo unreproducible Control: severity -1 minor Control: retitle Rethink runtime dependencies On Tue, 11 Jun 2013 09:14:59 +0200, Tobias Winchen wrote: Could you please run dpkg -l openjdk* | grep ^ii and paste the output? ii openjdk-6-jdk:amd64

Bug#711842: jabref: Fails to start with openjdk-7

2013-06-10 Thread Tobias Winchen
Package: jabref Version: 2.10~beta1+ds-2 Severity: important Dear Maintainer, jabref fails to start with openjdk-7: DEBUG_WRAPPER=1 JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/ jabref [debug] /usr/bin/jabref: Using provided JAVA_HOME = '/usr/lib/jvm/java-7 -openjdk-amd64/' [debug]

Bug#711842: jabref: Fails to start with openjdk-7

2013-06-10 Thread gregor herrmann
Control: tag -1 + moreinfo unreproducible On Mon, 10 Jun 2013 09:58:10 +0200, Tobias Winchen wrote: Dear Maintainer, jabref fails to start with openjdk-7: Thank for your bug report and for providing the detailed command and output! DEBUG_WRAPPER=1