Refactorings of StudentStore.h