From 62ea7bb2656177fbb61d94b90d9a526990876cb8 Mon Sep 17 00:00:00 2001
From: Fabio Valentini <decathorpe@gmail.com>
Date: Mon, 20 Jul 2020 21:27:20 +0200
Subject: [PATCH 0/1] source / target 1.8

---
 build.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 4f400dc..0d28a7f 100644
--- a/build.xml
+++ b/build.xml
@@ -170,7 +170,8 @@
 			deprecation="${deprecation}"
 			optimize="on"
 			debug="on"
-      target="1.5"
+			source="1.8"
+			target="1.8"
 			includes="**/*.java"
 			excludes="${excludes},**/bak/**"
 		>
@@ -213,7 +214,7 @@
 			 destdir="${javadoc-dir}"
 			 author="true"
 			 version="true"
-       source="1.5"
+			 source="1.8"
 			 use="true"
 			 windowtitle="BeanShell ${version}"
 			 doctitle="&lt;h1&gt;BeanShell ${version}&lt;h1&gt;"
-- 
2.26.2