code: public void savePosition() {
  		RecordId rid1 = s1.getRecordId();
  		RecordId rid2 = (s2 == null) ? null : s2.getRecordId();
  		savedPosition = Arrays.asList(rid1, rid2);
  	}
docs: Saves the position of the current record, so that it can be restored at a
  later time.