the pilot valves being of the nozzle-flapper type