DERP: intelliJ updates workspace.xml whenever it has focus