grant {

permission java.io.FilePermission "/${undefined}/hello", "read";

};