Adapts deletion of Session-Keys to ArrayObject

If ```$_SESSION``` is an ArrayObject, the usual ```unset``` does not work.
Therefore the change adapts the code to enable deletion off session-keys
even if ```$_SESSION``` is an ArrayObject.