Dinopium javanense, Ljungh (1797)