Issue #3140 was fixed.
Merge branch 'develop' of github.com:orientechnologies/orientdb into develop