more getters for ResourceManager