Further refined PMDx and IJDK.