Before revision: At that time, their ancestors were part ofa kingdom that encompassed the province of West Java and Banten.
After revision: At that time, their ancestors were part of a kingdom that encompassed the province of West Java and Banten.