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 amd64 OpenJDK Development Kit (JDK) ii openjdk-6-jre:amd64 6b27-1.12.5-2 amd64 OpenJDK Java runtime, using Hotspot JIT ii openjdk-6-jre-headless:amd64 6b27-1.12.5-2 amd64 OpenJDK Java runtime, using Hotspot JIT (headless) ii openjdk-6-jre-lib 6b27-1.12.5-2 all OpenJDK Java runtime (architecture independent libraries) ii openjdk-7-jre-headless:amd64 7u21-2.3.9-5 amd64 OpenJDK Java runtime, using Hotspot JIT (headless) ii openjdk-7-jre-lib 7u21-2.3.9-5 all OpenJDK Java runtime (architecture independent libraries) > This Ubuntu bug might also be interesting: > https://bugs.launchpad.net/ubuntu/+source/jabref/+bug/611987 > Summary: someone had openjdk-6-jre-headless installed but not > openjdk-6-jre; I guess the problem might be the same with openjdk-7. Yes, openjdk-7-jre was missing, after installation jabref works. It seems that a recent upgrade [UPGRADE] openjdk-7-jre-headless:amd64 7u21-2.3.9-4 -> 7u21-2.3.9-5 [UPGRADE] openjdk-7-jre-lib:amd64 7u21-2.3.9-4 -> 7u21-2.3.9-5 made openjdk-7 the default alternative for /usr/bin/java, but openjdk-7-jre wasn't installed. Cheers, Tobias
signature.asc
Description: This is a digitally signed message part.