Invalidating cache if the definition is out of date with the latest version of K.
Fine, catching something more concrete than Exception.
Refactoring a bit more.
Merge pull request #626 from kframework/invalidateCache

Invalidating cache if the definition is out of date with the latest version of K.