Merge: NullPointerException when throwing a DocStructHasNoTypeException (#13)

Fix bug #13