Returns a version number, which changes every time an update is made to the LabelStore.
@return the version number
@override int getVersion() { return this.version; }