Additional argument to get property descriptors from older JLS