Thermal fluctuations and the Josephson supercurrent