The asymptotic distribution of weighted empirical distribution functions