From 86c94a92f70d6dbd4a199ae1962c3c514a2d810b Mon Sep 17 00:00:00 2001
From: xiaohe27 <xiaoguoyi27@gmail.com>
Date: Sat, 7 May 2016 08:48:34 -0500
Subject: [PATCH 1/2] update maven compiler source level

---
 pom.xml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 56636f83..6625bbcf 100644
--- a/pom.xml
+++ b/pom.xml
@@ -113,8 +113,12 @@
                 <artifactId>maven-compiler-plugin</artifactId>
                 <version>3.1</version>
                 <configuration>
-                    <source>1.8</source>
-                    <target>1.8</target>
+                    <source>1.7</source>
+                    <target>1.7</target>
+<!--The test sources use JDK 8 features, if you only have JDK 7, you can still build
+JavaMOP with 'mvn clean package -Dmaven.test.skip'-->
+                    <testSource>1.8</testSource>
+                    <testTarget>1.8</testTarget>
                 </configuration>
             </plugin>
             <plugin>

From 53fb60d5f251fc0d72dcc3ca009bc5c6360341ad Mon Sep 17 00:00:00 2001
From: HE XIAO <xiaoguoyi27@gmail.com>
Date: Sat, 7 May 2016 09:05:40 -0500
Subject: [PATCH 2/2] remind users that JDK 8 is required for the tests

---
 src/README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/README.md b/src/README.md
index 34f39bcf..a606459e 100755
--- a/src/README.md
+++ b/src/README.md
@@ -18,6 +18,8 @@ v.3.0 or higher
 v.1.8 or higher
  * Check Git is installed properly: run `git` from a terminal.
 
+P.S. JDK 8 is required to run the tests of JavaMOP.
+
 ## Build and Install
 
 1. Run `git clone https://github.com/runtimeverification/javamop.git`