Desactivate checkerFramework