--- a/langtools/src/jdk.jshell/share/classes/jdk/jshell/TaskFactory.java Mon Nov 16 17:10:23 2015 -0800
+++ b/langtools/src/jdk.jshell/share/classes/jdk/jshell/TaskFactory.java Thu Nov 19 13:23:32 2015 -0800
@@ -80,7 +80,7 @@
if (compiler == null) {
throw new UnsupportedOperationException("Compiler not available, must be run with full JDK 9.");
}
- if (!System.getProperty("java.specification.version").equals("1.9")) {
+ if (!System.getProperty("java.specification.version").equals("9")) {
throw new UnsupportedOperationException("Wrong compiler, must be run with full JDK 9.");
}
this.fileManager = new MemoryFileManager(