/* AUTOMATICALLY GENERATED ON Tue Sep 22 17:14:03 EDT 1998*/
/* DO NOT EDIT */

grant {
  permission java.util.PropertyPermission "java.io.tmpdir", "read";
};