347      * Adds a permission to the BasicPermissions. The key for the hash is

   347      * Adds a permission to the BasicPermissions. The key for the hash is

   348      * permission.path.

   348      * permission.path.

   349      *

   349      *

   350      * @param permission the Permission object to add.

   350      * @param permission the Permission object to add.

   351      *

   351      *

   353      *                                       BasicPermission, or if

   353      *                                       BasicPermission, or if

   354      *                                       the permission is not of the

   354      *                                       the permission is not of the

   355      *                                       same Class as the other

   355      *                                       same Class as the other

   356      *                                       permissions in this collection.

   356      *                                       permissions in this collection.

   357      *

   357      *

   359      *                                has been marked readonly

   359      *                                has been marked readonly

   360      */

   360      */

   361     @Override

   361     @Override

   362     public void add(Permission permission) {

   362     public void add(Permission permission) {

   363         if (! (permission instanceof BasicPermission))

   363         if (! (permission instanceof BasicPermission))