Merge pull request #49 from knaperek/master

Document and optimize the new FSMLockMixin code