add mushroom-metric.properties for issue #15