function only called in a restart case.
function only called in a restart case. Beware : this has been largely untested !
Alphabetic index HTML hierarchy of classes or Java