Change the minimum Java version back to 7

Since I am temporarily working on Ubuntu 14.04, change the minimum Java
version back to 7.

.travis.yml

@@ -16,4 +16,6 @@ python:
 install: "sudo pip install Sphinx==1.1.3"
 jdk:
 - oraclejdk8
+- oraclejdk7
+- openjdk7
 after_success: ./utils/update-gh-pages.sh

build.xml

@@ -41,8 +41,8 @@
     <property name="docs_src_en" value="docs/en/src" />
 
     <!-- Compilation options -->
-    <property name="src_java_version" value="8" />
-    <property name="dst_java_version" value="8" />
+    <property name="src_java_version" value="7" />
+    <property name="dst_java_version" value="7" />
     <property name="debug" value="on" />
 
     <!-- Arguments to gwtc and devmode targets -->
@@ -73,6 +73,7 @@
   <target name="compileWeb" depends="webLibs" description="Compile java source to bytecode">
     <mkdir dir="war/WEB-INF/classes"/>
     <javac srcdir="src" includes="**" encoding="utf-8"
+        includeantruntime="false"
         destdir="war/WEB-INF/classes"
         source="1.7" target="1.7" nowarn="true"
         debug="true" debuglevel="lines,vars,source">

readme.md

@@ -22,7 +22,7 @@ Requirements
 ------------
 
 In order to compile EduMIPS64, you need the following tools:
-- Java JDK version 8 or above.
+- Java JDK version 7 or above.
 - Apache Ant version 1.8 or above (needed for JUnit 4 tests)
 - Sphinx (http://sphinx.pocoo.org/) versione 1.0.7 or above
 - GNU Make