POOL_INTAKE_VALVE、POOL_OUTLET_VALVEの名称を各々FLOAT_INTAKE_VALVE、FLOAT_OUTLET_VALVEに変更.
Merge branch 'release-1.4'