make the coverage json file configurable