a town of the island of Java, on the southern coast, seventy-five miles south of Batavia.