Updated the PDDL files.