We investigate the formation of the double pulsar PSR J0737-3039 and examine its most likely progenitors , taking into account the most recent and all currently available observational constraints . We show that the most likely kick velocity and progenitor parameters depend strongly on the consideration of the full five-dimensional probability distribution function for the magnitude and direction of the kick velocity imparted to pulsar B at birth , the mass of pulsar B ’ s pre-supernova helium star progenitor , and the pre-supernova orbital separation rather than marginalized one- or two-dimensional distributions for the kick velocity and progenitor mass . The priors that enter the analysis are the age of the system , the minimum helium star mass required to form a neutron star , the transverse systemic velocity , and the treatment of the unknown radial velocity . Since the latter can not be measured observationally , we adopt a statistical approach and use theoretical radial-velocity distributions obtained from population synthesis calculations for coalescing double neutron stars . We find that when the minimum pre-supernova helium star mass required for neutron star formation is assumed to be 2.1 M _ { \odot } , the most likely kick velocity ranges from 70 { km s ^ { -1 } } to 180 { km s ^ { -1 } } . When , on the other hand , masses lower than 2.1 M _ { \odot } are allowed as neutron star progenitors , the most likely kick velocity can reach very low values ( as low as a few { km s ^ { -1 } } ) , although the majority of the models still yield most likely kick velocities of 50 { km s ^ { -1 } } to 170 { km s ^ { -1 } } . Hence , we agree with Piran & Shaviv ( 19 ) that the observed system properties , including the low transverse systemic velocity , can indeed be compatible with low progenitor masses and low kick velocities . Equally important though , we show that this is not the only likely formation path of pulsar B , due to the role of different prior assumptions that are necessary in the analysis . Moreover , in contrast to earlier claims in the literature , we show that the proximity of the double pulsar to the Galactic plane and the small proper motion do not pose stringent constraints on the kick velocity and progenitor mass of pulsar B at all . Instead , the constraints imposed by the current orbital semi-major axis and eccentricity and the orbital dynamics of asymmetric supernova explosions turn out to be much more restrictive . We conclude that without further knowledge of the priors , the currently available observational constraints can not be used to unambiguously favor a specific core-collapse and neutron star formation mechanism . Both electron capture and neutrino-driven supernovae therefore remain viable formation mechanisms for pulsar B .