java. Extracted descriptors from Pdef, #102.