--- a/nashorn/samples/test.js	Wed Jul 05 21:45:40 2017 +0200
+++ b/nashorn/samples/test.js	Wed May 25 11:03:08 2016 +0530
@@ -31,4 +31,4 @@
 
 print("Hello World");
 var System = Java.type("java.lang.System");
-print(System.getProperty("jdk.launcher.patch.0"));
+print(System.getProperty("java.home"));