tree ea0fedc143b090e84d484a048d0d4864c9db481a
parent c9ce6e1a436275be91aad66d765128fb359031cb
author David Ostrovsky <david@ostrovsky.org> 1535916456 +0200
committer David Ostrovsky <david@ostrovsky.org> 1535916456 +0200

Prefer Javamelody's own configuration constants

Change-Id: I42910d0c9838d188a01b57c63df244e3ccf5c2d9