Debugging FileAgent locks