make getLastModificationTime const. Move it with the other getters.