A dockerized OpenDJ server