Group Javamelody HTTP request statistics

Currently Javamelody treats every request as specific therefore it
generates statistics only when one requests the same operation again
e.g. opens the same review. On busy servers it may additionally lead to
the issue described in [1].

If no grouping is configured with -Djavamelody.http-transform-pattern
parameter to container.javaOptions of gerrit.config then the default
pattern is applied and ids like SHA-1, change-id, project, filename,
etc. are replaced with '$' and grouped by Javamelody in HTTP statistics
'Details' view.

[1] https://stackoverflow.com/questions/19147762/javamelody-crashing-the-server-with-thousands-of-rrd-files
Change-Id: Ie7edf0e7a1482713dc6fd01db8c53bc589c6290f
Signed-off-by: Jacek Centkowski <jcentkowski@collab.net>
8 files changed