# HG changeset patch
# User Michael Goffioul <michael.goffioul@gmail.com>
# Date 1356286780 18000
# Node ID af9e2ad52943dc99a91c738ca8daa743f26b0722
# Parent  009984ecf41931cec0de4847f61c7a134dc1f025# Parent  9a210f7fe62e703c2f637fc1f3dc79da7275916a
maint: periodic merge of default to classef

diff -r 009984ecf419 -r af9e2ad52943 configure.ac
--- a/configure.ac	Sun Dec 23 13:00:02 2012 -0500
+++ b/configure.ac	Sun Dec 23 13:19:40 2012 -0500
@@ -2296,7 +2296,7 @@
 
   ## Check Java version is recent enough.
   AC_MSG_CHECKING([for Java version])
-  java_version=[`$"JAVA" -version 2>&1 | sed -n -e 's/^java version[^0-9"]*"\([^"]*\)"/\1/p'`]
+  java_version=[`"$JAVA" -version 2>&1 | sed -n -e 's/^java version[^0-9"]*"\([^"]*\)"/\1/p'`]
   AC_MSG_RESULT([$java_version])
   java_major=[`echo $java_version | sed -e 's/^\([0-9][0-9]*\)\.\([0-9][0-9]*\)\..*$/\1/'`]
   java_minor=[`echo $java_version | sed -e 's/^\([0-9][0-9]*\)\.\([0-9][0-9]*\)\..*$/\2/'`]