Differential spectra and phase space densities of trapped electrons at Jupiter