reverting pvs-gui.json