equal
deleted
inserted
replaced
482 static void process_sun_java_launcher_properties(JavaVMInitArgs* args); |
482 static void process_sun_java_launcher_properties(JavaVMInitArgs* args); |
483 |
483 |
484 // System properties |
484 // System properties |
485 static void init_system_properties(); |
485 static void init_system_properties(); |
486 |
486 |
|
487 // Update/Initialize System properties after JDK version number is known |
|
488 static void init_version_specific_system_properties(); |
|
489 |
487 // Property List manipulation |
490 // Property List manipulation |
488 static void PropertyList_add(SystemProperty** plist, SystemProperty *element); |
491 static void PropertyList_add(SystemProperty** plist, SystemProperty *element); |
489 static void PropertyList_add(SystemProperty** plist, const char* k, char* v); |
492 static void PropertyList_add(SystemProperty** plist, const char* k, char* v); |
490 static void PropertyList_unique_add(SystemProperty** plist, const char* k, char* v) { |
493 static void PropertyList_unique_add(SystemProperty** plist, const char* k, char* v) { |
491 PropertyList_unique_add(plist, k, v, false); |
494 PropertyList_unique_add(plist, k, v, false); |