Is "Frederik Hendrik" a popular Indonesian name?

I’ve noticed that if you look up “Frederik Hendrik” on Facebook, you find several Indonesians. More Indonesians than whites seem to have this name. I am assuming that they were named after Frederik Hendrik, the Prince of Orange, since Indonesia was colonized by the Dutch. But why exactly? Did the Dutch name things in Indonesia after Frederik Hendrik? Is he some kind of historical hero to the Indonesians?

Are Willem and Maurits also popular Indonesian names?

I know a lot of Indonesians named Hendrik. I lived in Indonesia for a couple of years and my guess is that any association with the Dutch is lost and it carries on as a family name.