835          * Adds a permission object to the current collection of permission

   835          * Adds a permission object to the current collection of permission

   836          * objects.

   836          * objects.

   837          *

   837          *

   838          * @param permission the Permission object to add.

   838          * @param permission the Permission object to add.

   839          *

   839          *

   841          *                                has been marked readonly

   841          *                                has been marked readonly

   842          */

   842          */

   843         @Override public void add(Permission permission) {

   843         @Override public void add(Permission permission) {

   844             perms.add(permission);

   844             perms.add(permission);

   845         }

   845         }