The Dutch colonial name for the province of East Java, Indonesia. It was a key battleground during the Japanese invasion of the Dutch East Indies, and later during the Allied reconquest.