Contribution to the knowledge of the fossil mammalian fauna of Java