*/
String run(String... args) {
String result = "";
if (args.length > 0) {
db = new TestMeDatabase(databaseFileName); // uses default file name if null
if ("--reset".equalsIgnoreCase(args[0])) {
int recordCount = db.getNumberOfMappings();
db.deleteDatabase();
result = String.format("Reset database %s, removed mappings for %d class source files", db.getFileName(), recordCount);