From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 26 Nov 2009 13:55:49 +0100
Subject: ldflags for recent JDK

---
 Makefile.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.config b/Makefile.config
index cdb5211..af54337 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -17,7 +17,7 @@ JAVAC=javac -g
 ## For other platforms, adjust as required and tell us about it.
 
 # Home location for the JDK.  Only used for setting other variables below. 
-JDKHOME=/usr/lib/jvm/java-8-openjdk-amd64
+JDKHOME=/usr/lib/jvm/default-java
 
 # Current architecture identification string, as intended by the JDK.
 # Common values for x86 architectures are "i386" or "amd64". You can find it
