20170612 world.rest-of-world: Quake rattles Indonesia's capital; but no damage apparent