Update javamelody-core to 1.72.0

Change-Id: I03e1218c04ab4ee66a32d2dcf7660d900eb42ad3
1 file changed