grant {
    permission java.io.FilePermission "/tmp", "read";
};