grant {
    permission java.lang.RuntimePermission "setSecurityManager";
    permission java.util.PropertyPermission "seed", "read";
};