Jakarta is now estimated to have almost 42mn residents, overtaking greater Tokyo as the world’s biggest city, according to the UN.

@asymco

And was a boon for Java EE.