Fix compilation errors in Eclipse language servers

This commit is contained in:
Kris De Volder
2018-01-29 14:07:34 -08:00
parent c6d49c1dee
commit 87a9639241
5 changed files with 12 additions and 6 deletions

View File

@@ -45,6 +45,10 @@ public class JRE {
return "JRE("+javaHome+")";
}
public static JRE currentJRE() {
return new JRE(new File(System.getProperty("java.home")), null);
}
/**
* Get a JRE, with a paired tools jar if it is needed based on current JRE version
* and whether the caller wants it.
@@ -147,6 +151,4 @@ public class JRE {
}
public final File javaHome;
}
}