added use_kodkod preference to config.properties