--- old/langtools/test/tools/javadoc/6964914/TestUserDoclet.java 2016-08-07 17:48:04.000000000 -0700 +++ new/langtools/test/tools/javadoc/6964914/TestUserDoclet.java 2016-08-07 17:48:04.000000000 -0700 @@ -59,11 +59,6 @@ String thisClassName = TestUserDoclet.class.getName(); List cmdArgs = new ArrayList<>(); cmdArgs.add(javadoc.getPath()); - int i = 0; - String prop; - while ((prop = System.getProperty("jdk.launcher.patch." + (i++))) != null) { - cmdArgs.add("-J-Xpatch:" + prop); - } cmdArgs.addAll(Arrays.asList( "-doclet", thisClassName, "-docletpath", testClasses.getPath(),