code: public void restorePosition() {
  		RecordId rid1 = savedPosition.get(0);
  		RecordId rid2 = savedPosition.get(1);
  		s1.moveToRecordId(rid1);
  		if (rid2 != null)
  			s2.moveToRecordId(rid2);
  	}
docs: Moves the scan to its previously-saved position.