On Wed, Feb 19, 2014 at 12:33 PM, Devin Reade <gdr at gno.org> wrote: > --On Wednesday, February 19, 2014 01:30:49 PM -0700 Devin Reade > <gdr at 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