WernherChecker configuration