[Soot-list] RetriveActiveBody()

[Saswat Anand]

in retrieveActiveBody() of SootMethod class, I see:

if(! hasActiveBody() ){
    setActiveBody( this.getBodyFromMethodSource("jb") );
    ms = null;
}

I think assigning null to ms above is buggy. Because if I do
retrieveActiveBody(), releaseActiveBody(), retrieveActiveBody() in the
sequence I get a null pointer exception in
SootMethod.getBodyFromMethodSource. Will it be ok to remove that line?

Thanks
Saswat