On Nov 26, 2012, at 11:29 AM, Michael D. Godfrey wrote:
On 11/26/12 4:16 PM, Ben Abbott wrote:
OpenJDK Java 7 Runtime
I think you need the devel package from:
Debian, Ubuntu, /etc./
On the command line, type:
*$* sudo apt-get install openjdk-7-jre
The |openjdk-7-jre| package contains just the Java Runtime Environment. If you
want to develop Java programs then install the |openjdk-7-jdk| package.
These names do not quite match what you said, but something with
-jdk or -devel is where the headers are.
Michael'
I already have all the openjdk-7 packages installed.
$ apt-cache pkgnames | grep jdk-7
openjdk-7-jre-headless
openjdk-7-source
openjdk-7-jre-zero
openjdk-7-demo
openjdk-7-dbg
openjdk-7-doc
openjdk-7-jdk
openjdk-7-jre
openjdk-7-jre-lib
$ apt-cache --installed pkgnames | grep jdk-7
openjdk-7-jre-headless
openjdk-7-source
openjdk-7-jre-zero
openjdk-7-demo
openjdk-7-dbg
openjdk-7-doc
openjdk-7-jdk
openjdk-7-jre
openjdk-7-jre-lib
Ben