tree adf5c1ff4788556f5164a36bef4ba7ea9adf81ad
parent 5d7099379df54eda4864be32e4e27a45f817ff5d
author David Ostrovsky <david@ostrovsky.org> 1520463167 +0100
committer David Ostrovsky <david@ostrovsky.org> 1520463317 +0100

Add missing dependency on metrics-jmx

metrics-jmx was extracted in its own artifact and is not a part of
metrics-core any more. Add external dependency, and extend the
documentation.

Change-Id: I640041a67562aea5a2ad9a32f2fa804854829713