From fc6dcff7db47c2be34f84ce95e74dc46ad1fa22f Mon Sep 17 00:00:00 2001
From: Ruben Kerkhof <ruben@tilaa.nl>
Date: Sun, 18 Nov 2012 11:38:24 +0100
Subject: [PATCH] Fallback to /usr/lib/jvm if JAVA_HOME is not set

This makes the java plugin build out of the box
on systems with a JDK installed.
/usr/lib/jvm is the default location for the JDK
on at least Fedora, Red Hat and Debian.
---
 configure.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configure.in b/configure.in
index 877ac449..bc431fec 100644
--- a/configure.in
+++ b/configure.in
@@ -2004,6 +2004,10 @@ fi
 
 # --with-java {{{
 with_java_home="$JAVA_HOME"
+if test "x$with_java_home" = "x"
+then
+	with_java_home="/usr/lib/jvm"
+fi
 with_java_vmtype="client"
 with_java_cflags=""
 with_java_libs=""
-- 
2.11.0