863c3ca36f
The data structure was originally called write lock table, but is now simply called the open file table. Rename the file to reflect that.