煤矿应当设立防治水机构、配备防治水副总工程师和专业技术（管理人员）。