gov.nasa.jpf.vm

Class AbstractRestorer<Saved>