In NBI+ICRF-heated high-temperature JET plasmas, electron cyclotron emission (ECE) spectra measured by the Michelson interferometer are inconsistent with the electron bulk distribution being Maxwellian. This conclusion follows from new, accurate modelling of the ECE spectra over the full measured frequency range, covering the first four harmonics of the cyclotron frequency. A model distribution function obtained by fitting a measured ECE spectrum reveals a distortion of the Maxwellian that is sharply localized at ~1.5 ¥ thermal momentum. A consequence deduced from this distribution is that the electron temperature measured by JET's Thomson scattering diagnostic, which weighs the bulk electrons differently, should be lower than the ECE one in the spatial region where this distortion exists. This prediction appears to be confirmed by temperature profile comparisons showing that core Thomson scattering electron temperatures on JET are up to 20% lower than ECE values for plasmas with strong NBI+ICRF heating. The possibility of addressing experimentally the question of whether the plasma has a Maxwellian bulk is also discussed. This goal can be accomplished by observing the emission at different angles with respect to the magnetic field (oblique ECE). Simulations of oblique ECE spectra using the model distribution function obtained previously show an angular variation of the emission that is characteristic of the distorted bulk.