perform a consistency check when loading files from the classpath
perform a consistency check when loading files from the classpath

Prevents a NullPointerException. Fixes #69.

larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle