Docker build of OrientDB Community Edition