{"filter":false,"title":"coverage.json","tooltip":"/coverage/coverage.json","undoManager":{"mark":-1,"position":-1,"stack":[]},"ace":{"folds":[],"scrolltop":0,"scrollleft":0,"selection":{"start":{"row":0,"column":0},"end":{"row":0,"column":0},"isBackwards":false},"options":{"guessTabSize":true,"useWrapMode":false,"wrapToView":true},"firstLineState":0},"timestamp":1491577805720,"hash":"c9db2f9633c5fea8a5303ef61309deb02e6dac2c"}