JaVers is a tool for auditing object-oriented data