159160161162163164165166167168169
if( mm != null ) { if( mm.isAlive() ) { mm.flagGC(); } else { // Start the memory manager after our first page has been loaded mm.start(); } } } /**