fix NullPointerException in krun shutdown hook
Merge pull request #408 from dwightguth/npe

fix NullPointerException in krun shutdown hook
indexing: starting afresh - creating a way to assign positions to rules in a way that can be used for pattern matching and indexing