From 210287d34cfcc5ae9cf3dc91003c32fa2bfb1757 Mon Sep 17 00:00:00 2001
From: John Vilk <jvilk@cs.umass.edu>
Date: Sat, 21 May 2016 10:12:32 -0400
Subject: [PATCH] Reverting part of previous commit; it is not needed.

---
 console/download_jdk.ts | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/console/download_jdk.ts b/console/download_jdk.ts
index b9ff461e3..e4951cea5 100644
--- a/console/download_jdk.ts
+++ b/console/download_jdk.ts
@@ -154,12 +154,6 @@ if (!doesJDKExist()) {
         console.error(`Failed to download JDK: ${err}.`)
         process.exit(1);
       } else {
-        // Remove doppio.jar from older version of JCL;
-        // we build it in-repo now.
-        const DOPPIO_JAR_PATH = path.resolve(JDK_PATH, JDK_FOLDER, 'lib', 'doppio.jar');
-        if (fs.existsSync(DOPPIO_JAR_PATH)) {
-          fs.unlinkSync(DOPPIO_JAR_PATH);
-        }
         console.log(`Successfully downloaded JDK.`);
         writeJdkJson();
       }