对煤矿水害防治措施是“（）”等综合防治措施。