Configurable |variable_prod_name| properties are specified in two user-modifiable files:
efm.properties
efm.nodes
Installing Failover Manager
The Cluster Properties File