Java, Sumatra, and the other islands of the Dutch East Indies