If the latter, does anyone know the different flag colours used.
I don't know. I've never really noticed. I would guess the flags are purely decorative and not historic or representaive of the dutch or portuguese. I don't know what either flag looked like at the time so don't quote me on that.