Dihammus javanicus Breuning, 1935