An extension of jhipster docker devlopment env