--- a/src/java.base/share/native/libjli/java.h	Tue Sep 24 08:54:39 2019 +0200
+++ b/src/java.base/share/native/libjli/java.h	Fri Sep 20 10:28:48 2019 +0200
@@ -161,7 +161,6 @@
 int CallJavaMainInNewThread(jlong stack_size, void* args);
 
 /* sun.java.launcher.* platform properties. */
-void SetJavaLauncherPlatformProps(void);
 void SetJavaCommandLineProp(char* what, int argc, char** argv);
 void SetJavaLauncherProp(void);