@@ -24,10 +24,11 @@ /* * @test * @bug 4173993 * @summary Make sure "null" is returned if property does not exist (or has * wrong numeric format) and no default has been specified. + * @modules java.base/sun.security.action */ import sun.security.action.*; public class ReturnNullIfNoDefault {