Definitions Index jav-key