The problem is: In the description of the 'implies' function of this class, it
sais:

"
     * More specifically, this method returns true if: p:
     *
     * p is an instanceof PropertyPermission,
     * p's actions are a proper subset of this
     * object's actions, and
     * p's name is implied by this object's name.
"

The PROPER adjective is wrong. p's actions are not required
to be a PROPER subset of this object's actions, they can be
also identical to this object's actions.