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