src/java.base/share/classes/java/security/Security.java
changeset 52621 f7309a1491d9
parent 52427 3c6aa484536c
child 53018 8bf9268df0e2
--- a/src/java.base/share/classes/java/security/Security.java	Tue Nov 20 10:08:19 2018 +0100
+++ b/src/java.base/share/classes/java/security/Security.java	Tue Nov 20 13:12:48 2018 +0000
@@ -30,6 +30,8 @@
 import java.io.*;
 import java.net.URL;
 
+import jdk.internal.event.EventHelper;
+import jdk.internal.event.SecurityPropertyModificationEvent;
 import jdk.internal.access.SharedSecrets;
 import jdk.internal.util.StaticProperty;
 import sun.security.util.Debug;
@@ -792,9 +794,19 @@
      * @see java.security.SecurityPermission
      */
     public static void setProperty(String key, String datum) {
-        check("setProperty."+key);
+        check("setProperty." + key);
         props.put(key, datum);
         invalidateSMCache(key);  /* See below. */
+
+        SecurityPropertyModificationEvent spe = new SecurityPropertyModificationEvent();
+        // following is a no-op if event is disabled
+        spe.key = key;
+        spe.value = datum;
+        spe.commit();
+
+        if (EventHelper.isLoggingSecurity()) {
+            EventHelper.logSecurityPropertyEvent(key, datum);
+        }
     }
 
     /*