From 8f468270e580420159d6a3566cc590e51bec6ce9 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 21 Jun 2014 18:15:57 -0400
Subject: [PATCH] Lower the Java JRE version requirement.

---
 src/bindings/Makefile.am             | 2 +-
 src/bindings/compat/java/Makefile.am | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 80e65d180..2214d9b88 100644
--- a/src/bindings/Makefile.am
+++ b/src/bindings/Makefile.am
@@ -180,7 +180,7 @@ CVC4.jar: java.cpp
 	(cd java && \
 	rm -fr classes && \
 	mkdir -p classes && \
-	$(JAVAC) -classpath . -d classes `find . -name '*.java'` && \
+	$(JAVAC) -source 1.5 -target 1.5 -classpath . -d classes `find . -name '*.java'` && \
 	cd classes) && \
 	$(JAR) cf $@ -C java/classes .
 #java.cpp:;
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index 5e2911af0..9eb985822 100644
--- a/src/bindings/compat/java/Makefile.am
+++ b/src/bindings/compat/java/Makefile.am
@@ -138,7 +138,7 @@ JniUtils.lo: src/cvc3/JniUtils.cpp .headers
 
 $(LIB_FILES:%=classes/cvc3/%.class) classes/cvc3/JniUtils.class: .classes
 .classes:
-	$(AM_V_GEN)mkdir -p classes && $(JAVAC) -source 1.4 -sourcepath $(srcdir)/src -d classes $(LIB_FILES:%=$(srcdir)/src/cvc3/%.java)
+	$(AM_V_GEN)mkdir -p classes && $(JAVAC) -source 1.4 -target 1.4 -sourcepath $(srcdir)/src -d classes $(LIB_FILES:%=$(srcdir)/src/cvc3/%.java)
 	@touch .classes
 .headers: $(LIB_FILES:%=cvc3/%.h)
 	@touch .headers
-- 
2.30.2