Elaphiceps javanensis Funkhouser 1937