Add ClassPool and Mappings getters to Patcher