## interface(`_sky_files_use_tmp',` type $2; files_tmp_file($2) files_tmp_filetrans($1, $2, file) manage_files_pattern($1, $2, $2) '); interface(`_sky_java_process',` kernel_read_system_state($1) allow $1 self:process execmem; ');