lockfile.py: LockFile, JsonLockFile
modified solar to use JsonLockFile