When a reasoner configuration change is made it does not become active (doesn't seem to have an effect) until the IDE is closed and reopened.
