Thomas Heute
committed
on 13 Mar 09
JBEPP-44: NullPointerException may happen when destroying a session