@Override
        public void finish() throws IOException {
          Files.delete(mappingLockFile);
          //MAYBE RC: use FileUtil.delete(mappingLockFile) is safer, but more costly
        }
@Override
        public void finish()