A Josephson supercurrent has been induced into the three-dimensional topological insulator Bi1.5Sb0.5Te1.7Se1.3. We show that the transport in Bi1.5Sb0.5Te1.7Se1.3 exfoliated flakes is dominated by surface states and that the bulk conductivity can be neglected at the temperatures where we study the proximity induced superconductivity. We prepared Josephson junctions with widths in the order of 40 nm and lengths in the order of 50 to 80 nm on several Bi1.5Sb0.5Te1.7Se1.3 flakes and measured down to 30 mK. The Fraunhofer patterns unequivocally reveal that the supercurrent is a Josephson supercurrent. The measured critical currents are reproducibly observed on different devices and upon multiple cooldowns, and the critical current dependence on temperature as well as magnetic field can be well explained by diffusive transport models and geometric effects.