It's a little more concise and easier to follow like this:


        if (other instanceof Principal ) {
            if (other == this) return true;
            if ( this.getName().equals(everyone)) return true;
            Principal that = (Principal)other;
            return this.getName().equals(that.getName());
        }
        return false;