Distributed: fixed synchronization problem introduced with last commit
Fix by Stuart McCulloch to avoid Java <8 compilation issues
Merge branch 'develop' of https://github.com/orientechnologies/orientdb into develop