POOL_setProperty

Description: sets the contents of a property file
Parameter:

• poolName: name of the pool
• property: name of the pool property
• value: value to write in the pool property file