Remove support for java7.home property in the configuration file in f…

…avor of the JAVA7_HOME environment variable.

config.properties

@@ -2,8 +2,6 @@ partner.ipAndPort=localhost:2000
 
 downloads.dir=downloads
 
-java7.home=C:/Program Files/Java/jdk1.7.0_25
-
 maven.container=maven
 maven.home=maven/apache-maven-3.2.1
 maven.download.url=https://lspi.wiai.uni-bamberg.de/svn/betsy/apache-maven-3.2.1.zip

src/main/groovy/betsy/common/config/Configuration.java

@@ -125,17 +125,14 @@ public static void setPartnerIpAndPort(String newPartnerAddress) {
     public static Path getJava7Home() {
         // Trying to determine JDK7 Path using SysEnv
         String java7env = System.getenv("JAVA7_HOME");
-        Path java7home;
-
         if (java7env == null) {
             // Fallback to properties file
-            java7home = Paths.get(PROPERTIES.getProperty("java7.home"));
-        } else {
-            java7home = Paths.get(java7env);
+            throw new ConfigurationException("JAVA7_HOME is not set");
         }
 
+        Path java7home = Paths.get(java7env);
         if (!Files.isDirectory(java7home)) {
-            throw new ConfigurationException("Found [" + java7home + "] for key [java7.home] " + "Path to JAVA_HOME, but the directory does not exist!");
+            throw new ConfigurationException("Found [" + java7home + "] via JAVA7_HOME but the directory does not exist!");
         }
 
         return java7home;