Java Agent used by JHipster to hot-reload Java classes