For these, there's probably no need for the POOL_ in front. You can just call them DEFAULT_POOL_NAME, MINIMUM_SHARES_PROPERTY, etc.