Pertumbuhan Penduduk Jawa [Judul Asli: Grootte en groei van Java's]