small hack: point metrics version to 3.0.1 in servlets module