What are the consequence of the discovery of hot Jupiters for the nebular theory of solar system formation?