The appropriate header for PropertyManager needs to be included, g++ complains about "PropertyManager has not been declared"