Reverting part of previous commit; it is not needed.

plasma-umass · May 21, 2016 · 210287d · 210287d
1 parent 55e555c
commit 210287d
Showing 1 changed file with 0 additions and 6 deletions.
diff --git 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();
       }