diff --git a/build/jre/build.xml b/build/jre/build.xml
new file mode 100755
index 000000000..a4bd87699
--- /dev/null
+++ b/build/jre/build.xml
@@ -0,0 +1,31 @@
+<project name="methods" default="task-lib">
+
+  <target name="compile">
+    <mkdir dir="bin" />
+
+    <javac target="1.7" 
+	   srcdir="src" destdir="bin" 
+	   debug="true" 
+	   includeantruntime="true"
+	   nowarn="true"
+	   compiler="org.eclipse.jdt.core.JDTCompilerAdapter">
+      <compilerclasspath path="../../java/mode/ecj.jar" />
+    </javac>
+  </target>
+  
+  <target name="task-lib" depends="compile">
+    <jar basedir="bin" destfile="downloader.jar" />
+  </target>
+  
+  <target name="demo">
+    <taskdef name="downloader" 
+	     classname="Downloader"
+	     classpath="downloader.jar" />
+    <preproc dir="demo"/>
+  </target>
+  
+  <target name="clean">
+    <delete dir="bin" />
+    <delete file="downloader.jar" />
+  </target>
+</project>
diff --git a/build/jre/src/Downloader.java b/build/jre/src/Downloader.java
new file mode 100644
index 000000000..e21dd49a5
--- /dev/null
+++ b/build/jre/src/Downloader.java
@@ -0,0 +1,158 @@
+import java.io.*;
+import java.net.*;
+import java.util.*;
+
+import org.apache.tools.ant.BuildException;
+import org.apache.tools.ant.Task;
+
+
+/**
+ * Ant Task for downloading the latest JRE or JDK from Oracle.
+ */
+public class Downloader extends Task {
+  static final String COOKIE =
+    "gpw_e24=http%3A%2F%2Fwww.oracle.com%2F; " +
+    "oraclelicense=accept-securebackup-cookie";
+
+  private int version;
+  private int update;
+  private int build;
+
+  private boolean jdk;
+
+  private File baseDir;
+  private boolean includeRecorder;
+
+
+  public Downloader() { }
+
+
+  public void setVersion(int version) {
+    this.version = version;
+  }
+
+
+  public void setUpdate(int update) {
+    this.update = update;
+  }
+
+
+  public void setBuild(int build) {
+    this.build = build;
+  }
+
+
+  public void setJDK(boolean jdk) {
+    this.jdk = jdk;
+  }
+
+
+  public void execute() throws BuildException {
+    //if (baseDir == null) {
+    //  throw new BuildException("dir parameter must be set!");
+    //}
+
+    /*
+    downloadJRE("linux-i586.tar.gz");
+    downloadJRE("linux-x64.tar.gz");
+    downloadJRE("windows-i586.tar.gz");
+    downloadJRE("windows-x64.tar.gz");
+    downloadJRE("windows-i586.exe");
+    downloadJRE("windows-x64.exe");
+    downloadJRE("macosx-x64.dmg");
+    downloadJRE("macosx-x64.tar.gz");
+
+    downloadJDK("linux-i586.tar.gz");
+    downloadJDK("linux-x64.tar.gz");
+    downloadJDK("windows-i586.exe");
+    downloadJDK("windows-x64.exe");
+    downloadJDK("macosx-x64.dmg");
+    */
+  }
+
+
+  static void download(File folder, String filename,
+                       boolean jre, String platform,
+                       int version, int update, int build) {
+    //HttpURLConnection.setFollowRedirects(true);
+    if (filename == null) {
+      filename = (jre ? "jre" : "jdk") +
+      (update == 0 ?
+       String.format("-%d-%s", version, platform) :
+       String.format("-%du%d-%s", version, update, platform));
+    }
+    //String url = "http://download.oracle.com/otn-pub/java/jdk/" +
+    // https://edelivery.oracle.com/otn-pub/java/jdk/7u45-b18/jre-7u45-linux-i586.tar.gz
+    String url = "https://edelivery.oracle.com/otn-pub/java/jdk/" +
+    //String url = "https://download.oracle.com/otn-pub/java/jdk/" +
+      (update == 0 ?
+       String.format("%d-b%02d/", version, build) :
+       String.format("%du%d-b%02d/", version, update, build)) + filename;
+    System.out.println(url);
+
+    try {
+      HttpURLConnection conn =
+        (HttpURLConnection) new URL(url).openConnection();
+      //conn.setRequestProperty("Cookie", "name1=value1; name2=value2");
+      conn.setRequestProperty("Cookie", COOKIE);
+      //conn.setRequestProperty("Cookie", "gpw_e24=http://www.oracle.com/");
+
+      //printHeaders(conn);
+      //conn.connect();
+      if (conn.getResponseCode() == 302) {
+        Map<String, List<String>> headers = conn.getHeaderFields();
+        List<String> location = headers.get("Location");
+        if (location.size() == 1) {
+          url = location.get(0);
+        } else {
+          throw new RuntimeException("Got " + location.size() + " locations.");
+        }
+        List<String> cookies = headers.get("Set-Cookie");
+        conn = (HttpURLConnection) new URL(url).openConnection();
+        for (String cookie : cookies) {
+          conn.setRequestProperty("Cookie", cookie);
+        }
+        conn.setRequestProperty("Cookie", COOKIE);
+        conn.connect();
+      }
+
+      if (conn.getResponseCode() == 200) {
+        InputStream input = conn.getInputStream();
+        BufferedInputStream bis = new BufferedInputStream(input);
+        File outputFile = new File(folder, filename);
+        BufferedOutputStream output =
+          new BufferedOutputStream(new FileOutputStream(outputFile));
+        int c = bis.read();
+        while (c != -1) {
+          output.write(c);
+          c = bis.read();
+        }
+        bis.close();
+        output.flush();
+        output.close();
+      } else {
+        printHeaders(conn);
+        System.exit(1);
+      }
+
+    } catch (Exception e) {
+      e.printStackTrace();
+    }
+  }
+
+
+  static void printHeaders(URLConnection conn) {
+    Map<String, List<String>> headers = conn.getHeaderFields();
+    Set<Map.Entry<String, List<String>>> entrySet = headers.entrySet();
+    for (Map.Entry<String, List<String>> entry : entrySet) {
+      String headerName = entry.getKey();
+      System.out.println("Header Name:" + headerName);
+      List<String> headerValues = entry.getValue();
+      for (String value : headerValues) {
+        System.out.print("Header value:" + value);
+      }
+      System.out.println();
+      System.out.println();
+    }
+  }
+}