--- old/test/jtreg-ext/requires/VMProps.java	2019-07-19 14:13:18.369377580 +0200
+++ new/test/jtreg-ext/requires/VMProps.java	2019-07-19 14:13:17.686376125 +0200
@@ -455,7 +455,7 @@
     }
 
     private boolean checkDockerSupport() throws IOException, InterruptedException {
-        ProcessBuilder pb = new ProcessBuilder(Platform.DOCKER_COMMAND, "ps");
+        ProcessBuilder pb = new ProcessBuilder(Platform.Docker.DOCKER_COMMAND, "ps");
         Process p = pb.start();
         p.waitFor(10, TimeUnit.SECONDS);