Changed cyc-engine.properties