Checking if One Permission Implies Another

 Permission perm1 = new FilePermission(
   "/tmp/*", "read,write");
 Permission perm2 = new FilePermission(
   "/tmp/abc", "read");
     
 if (perm1.implies(perm2)) {
   // perm1 implies perm2
 }