--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. Devin