19 Feb
2014
19 Feb
'14
9:47 p.m.
On Wed, Feb 19, 2014 at 12:33 PM, Devin Reade gdr@gno.org wrote:
--On Wednesday, February 19, 2014 01:30:49 PM -0700 Devin Reade gdr@gno.org wrote:
java version "1.7.0_40"
Disregard that. That is from a development machine that for other reasons is running that specific (non-default) version.
Here it is:
$ cat /etc/redhat-release Red Hat Enterprise Linux Server release 6.5 (Santiago)
$ java -version java version "1.7.0_51" OpenJDK Runtime Environment (rhel-2.4.4.1.el6_5-i386 u51-b02) OpenJDK Client VM (build 24.45-b08, mixed mode, sharing)
Akemi