a province of the island of Java