Extend JivePropertiesManager

with getPropertiesNames() and getProperties()