PersistentLockManager implementation
Example workflow for PersistentLockManager
fixed javadoc
Fixed build (mainly missing license headers)
Fixed jenkins build
Merge remote-tracking branch 'upstream/master' into gui