Parsing Problem without Domain results in Exception

[tobiaswjohn]

I am using version 4.0.0. I tried to parse a problem file with the method 'parseProblem(...)' (see documentation). I do not care for the domain in my application, so I did not parse any domain file. Doing this results in the following Exception:

java.lang.NullPointerException at fr.uga.pddl4j.parser.Parser.checkDomainName(Parser.java:886) at fr.uga.pddl4j.parser.Parser.parseProblem(Parser.java:357) at fr.uga.pddl4j.parser.Parser.parseProblem(Parser.java:314)

For me, the ideal behavior would be that one can parse a problem file without any domain file (at least for me, it worked with version 3.8.3). If this is not possible, I think it would be helpful to add a comment to the documentation, that a domain file needs to be parsed before a program file can be parsed. Please tell me if you need any further information, e.g. if I should create a minimal example.