For a more detailed history of Jakarta before the proclamation of Indonesian independence, see Batavia, Dutch East Indies.