delen af ön Java , som är den förnämsta och folkrikaste af de holländska kolonierna i Ostindien.