bumiajuensis" (antiguamente "Tetralophodon") del Plioceno Superior de la isla de Java.