diff -r 4d6c6f2df610 -r 8056c9157546 make/jprt.properties
--- a/make/jprt.properties	Tue Sep 09 17:42:07 2014 +0100
+++ b/make/jprt.properties	Wed Sep 10 16:13:35 2014 +0100
@@ -165,6 +165,7 @@
     ${my.test.target.set:TESTNAME=jdk_security1},			\
     ${my.test.target.set:TESTNAME=jdk_security2},			\
     ${my.test.target.set:TESTNAME=jdk_security3},			\
+    ${my.test.target.set:TESTNAME=jdk_security4},			\
     ${my.test.target.set:TESTNAME=jdk_rmi},				\
     ${my.test.target.set:TESTNAME=jdk_text},				\
     ${my.test.target.set:TESTNAME=jdk_time},				\