Measurement of the frequency shift of a picosecond pulse from a mode-locked injection laser